Verser les graines de lin dans un petit bol, recouvrez-les d’eau tiède et laissez se former le mucilage quelques minutes.
Mixez les lentilles jusqu’à obtention d’une farine un peu grossière.
Faites cuire les patates douces à la vapeur, puis écrasez-les à la fourchette. Incorporez-y la farine de lentille, les graines de lin, les herbes de Provence, salez et poivrez.
Malaxez assez longtemps, puis, lorsque la pâte est élastique mais ne colle plus (selon son humidité, il faudra peut-être ajouter un peu de farine), prélevez une petite boule et, les mains farinée, en la roulant sur un plan de travail également fariné, formez des boudins d’environ 1 cm de diamètre. Coupez-les en petits tronçons de même taille. Renouvelez l’opération jusqu’à épuisement de la pâte.
Laissez sécher les gnocchis.