Premier abstract

Extraction du problème, de la contrib et de l'implem
Il faut intégrer le commentaire au-dessus (notamment le trade-off qui
n'apparait pas).