La Synthèse des machines logiques et son automatisation — Jean Florine