Chapitre 5 : la logique implacable des formules