Emulation contrainte check avec fonction

Version imprimable