Gnocchis aux lentilles vertes du Puy, petits pois et artichauts grillés aux amandes