modification du fichier 32ou64bits.bat : ajout du titre