Deux arguments pour les arbres infinis en Prolog — Solange Coupet-Grimal