2.2.1.5.2. II : Déductions