Microsoft baptise Edge le successeur d’Internet Explorer