Ensembles, logique et cartes perforées — Maurice Glaymann, Jacky Colomb