ajout de l'abstract
partie 1 sur les GADT
intro
merge