Mise au point d'un script

Le shell propose quelques options qui permettent de débugger des scripts shell.