Ré-indentation de main.pl