Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel.