Raisonner : contre-exemple, contraposée, absurde, disjonction des cas