Versez l'eau, le beurre, le sel dans une casserole et portez le tout à ébullition.
2
Ajoutez la farine en dehors du feu et mélangez à l'aide d'une spatule haute température. Remettez la casserole sur le feu et faites dessécher la pâte jusqu'à ce qu'elle se détache du fond de la casserole.
3
Transvasez la pâte dans un cul-de-poule et réservez-la quelques instants afin que la température diminue en dessous de 85 °C. Introduisez ensuite les œufs un par un que vous incorporez à l'aide d'une spatule haute température. Vous obtenez un mélange homogène. Mettez la préparation dans une poche à douilles munie d'une grosse douille unie que vous réservez.
Epluchez les oignons, émincez-les finement. Faites chauffer l'huile puis faites rissoler les oignons. Ajoutez les tomates, le sucre, les herbes de Provence, le sel, le piment, les gousses d'ail coupées en 2 et le poivre. Portez à ébullition puis baissez le feu et faites cuire à couvert à feu doux une quinzaine de minutes. Mixez la sauce à l'aide d'un mixeur plongeant. Réservez-la.
Pendant que la sauce à la tomate cuit, pochez les gnocchis :
Quand l'eau bout dans le faitout, salez, baissez le feu afin de maintenir un léger frémissement. Détaillez la pâte à choux en petits bouchons de 2 centimètres au dessus de la casserole d'eau frémissante salée. Pour cela, aidez-vous d'une paire de ciseaux. Laissez pocher pendant quelques mn à eau frémissante mais non bouillante : les gnocchi remontent à la surface quand ils sont cuits. Au terme de la cuisson, transvasez les gnocchi dans un récipient d'eau froide pour stopper la cuisson : les gnocchi vont retomber dans le fond du récipient. Égouttez-les.
Posez le moule carré ou un plat à gratin en verre sur une plaque perforée et préchauffez le four à 180 °C (th. 6). Dans le moule ou le plat, déposez les gnocchi puis versez par-dessus la sauce à la tomate. Enfournez une quinzaine de minutes. Servez.
6 Notes