Mettre fin à un shell lancé à partir d'un script (gestion des process id)

Version imprimable