Customiser le template HTML dans Vaadin (en)

Cette semaine, j’ai reçu une question intéressante sur Twitter : “Comment faire pour ajouter un attribut lang à la balise html dans Vaadin ?”, comme cela :

Alors qu'il est aisé de customiser individuellement des composants sur la page, la balise html externe est en dehors de notre contrôle. Dans ce article, je décris une solution pour ce problème.