Versez l'eau, le beurre, le sel dans une casserole et portez le tout à ébullition.

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.

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.

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.