[Observe-commits] 01/01: Permettre de générer des binders avec des types différents