Correction de la définition d'extension