Sur l'interprétation des schémas de programmes monadiques — Maurice Nivat