Machines algorithmiques — Marc Davio, Jean-Pierre Deschamps, André Thayse