#!/bin/bash
# indication de PID
echo $$ ${BASHPID} ; (echo $$ ${BASHPID})
