Re: prouveur automatique/assistant de preuve

Je dirai plutôt qu'un contre exemple à une théorie qui "marche" peut arriver à n'importe quel moment: ce n'est pas parce que je n'ai vu passer que des signes blancs que tous les signes sont blancs, c'est un exemple classique je crois.