la contrainte correspondante d'une procédure n'a pas été enfreinte, la procédure renverra 1. Si la contrainte est enfreinte, ...