Gratin de pommes de terre et brocoli : Étape 6

...jusqu'à ce que le dessus soit bien doré (n'hésitez pas à mettre un petit coup de grill à la fin).