Marc Davio Biographie Contributions de Marc Davio Auteur Machines algorithmiques Marc Davio, Jean-Pierre Deschamps, André Thayse Presses polytechniques romandes