ajout de la commande of_list dans le module String_mp
modification du makefile
ajout de la fonction of_string dans le module List_mp