Usage de batchmode au lieu de nonstopmode pour gagner quelques secondes
Correction d'un bug