Resolution probleme completion