récursif: propriété importante: correct an implication