Sorts fonctionnels

( sauf le dernier qu'on peut spam)