Renommage d'un fichier PDF qui avait l'extension .tex :-S