L’algorithmie de la Logique