Découverte du jour : depuis des années j'allais sur http://www.w3.org/TR/html5 parce que je connaissais l'adresse par cœur, et que HTML5 n'était pas encore stabilisé et donc pas l'adresse "par défaut". Et en fait http://www.w3.org/TR/html redirige maintenant dessus. Mieux, vers la version 5.1 ! Donc ça fait des mois que j'ignorais l'existence - et les apports - de HTML5.1 :'D