Les méthodes du calcul paracontrôlé