Tomates aux crevettes gratinées

8 belles tomates, 150 g de crevettes, 50 g de beurre, 2 petites c à s de farine, ½ l de lait, 1 jaune d'oeuf, du gruyère râpésel et poivreDécoupez le chapeau des tomates (que vous pouvez peler en les passant à l'eau bouillante, si vous le désirez), évidez-les de leur chair et, après les avoir salé légèrement, retournez-les sur une grille pour qu'elles s'égouttent.Pendant ce temps, faites fondre