Il est compliqué d’avoir un système qui calcule automatiquement la fin d’un gif.
Il faut choisir le bon timing, et pour faire cela :
setTimeout(function() {
setRefresh();
}, 1000);1000 = 1 seconde, 2000 = 2 secondes, etc.
C’est en millisecondes, donc c’est largement faisable 