Source: http://philippe.depresle.free.fr/TermS/probaconditionnelles.pdf