En tant qu'utilisateur, j'ai simplement saisi google.com (ou http://google.com), et HTTPS est apparu — d'où cela vient-il et qui l'a configuré, quelle partie du système le fait?