Gérard Berry, l'homme qui orchestre les ordinateurs