Logique combinatoire et technologie — Marcel Gindre, Denis Roux