Logique et automatisme [1] — Daniel Fredon, Henri Mouret, Michel Bridier