Techniques d'application des propositions inverses et de la réduction à l'absurde