Conjecture et démonstration (cas extérieur)