Il utilisait Firefox sous Windows ; je ne suis pas sûr de la version. Je ne veux pas le déranger pour obtenir plus d’informations de débogage, mais je pensais vous le signaler au cas où vous sauriez ce qui pourrait déclencher cela.
OK, merci ! Oui, je ne suis pas trop inquiet à ce sujet car il n’est apparu qu’une seule fois ; je voulais juste vous en informer au cas où ce serait quelque chose d’évident. Ce sujet peut être clos.
Cela me semble tout à fait correct, il s’agit donc très probablement d’un problème avec les plugins de leur navigateur ou même d’une version considérablement obsolète.