. Attachez-votre-ceinture, ça secoue pour les non initiés sur la deuxième moitié Boutillier (PPS -?r 2 ) Calcul -Inductifs -Coq 18, p.35, 2014.