Correction du deuxieme constructeur de Constructible