Gratin crémeux de brocoli et de tomates

Ingrédients:

1 gros brocoli, coupé en fleurons
Huile d’olive, pour arroser et faire sauter
Une poignée de jeunes pousses de chou frisé
1 petit oignon coupé en dés
7 petites gousses d’ail hachées
12 petites tomates (cerises ou raisins de préférence), coupées en deux
Une noix de beurre
Sel, au goût
1 cuillère à café de thym
150 ml (2/3 tasse) de crème
1 cuillère à soupe de farine
150 grammes (1 1/2 tasse) de fromage mozzarella, râpé