library fonctionnelle à priori.