Reasoning With The Infinite door Michel Blay