Gratin d’escargot aux gnocchi