isConsistencyToCheck
creation d'un check qui appelle le checkconsistency et le
checkcontraints