Définition étendre

Définition de étendre