Correction d'un bug qui rendait le bookmarklet incompatible avec Firefox