Codage de la fonction enleverExtension()