Version 7.3.2

Cette version met, pour le player, le svg auxilaire servant à calculer la taille des affichages dans le body plutôt que dans le div de la première figure rencontrée. Il met aussi sa taille à la plus grande des tailles des figures affichées par le player. Cette modif fait suite aux problèmes rencontrés dans un article de mathematice avec onglets.