Voir : => Auxiliaires de modalité: certitude, deduction, probabilité, Déduction logique, Auxiliaires d’ obligation: must et have to#Déduction.