Changement du retour de infer, checkList et checkBool et adaptation du code en conséquence