Mise à jour de Grottocenter

Benjamin vient de mettre à jour Grottocenter : il s'agit pour l'essentiel de petites modifications : actualisation automatique des chiffres clés, mise en forme des données sur les cavités, correction d'un bug sous Firefox.