Systèmes logiques combinatoires, François Mésa · Super Livre