Bonjour,
La solution la plus simple est de changer le nom du fichier à chaque modification (par exemple en y ajoutant la date de dernière modification).
Sinon il faut modifier les en-têtes HTTP, cela va dépendre de comment vous générez le code HTML, et/ou de vos autorisations sur le serveur.
Si le document HTML est généré par un langage serveur alors il suffit de modifier l'en-tête renvoyé, exemple en PHP via la fonction header().
Sinon sur un serveur Apache, cela peut se faire via le fichier de config ou via un .htaccess.
EDIT : grillé...
Message édité par MaybeEijOrNot le 29-05-2019 à 14:39:48
---------------
C'est en écrivant n'importe quoi qu'on devient n'importe qui.