HTTPS Everywhere 1.0 : l’extension Firefox qui accroît la sécurité