Suppression des "print" dans 'semantique.py'