Implication et équivalence/Prérequis conseillés