Stupid errors fixed
Début de contraintes sur les types et opérations