Changer de navigateur par défaut serait désormais moins pénible avec Windows 10 et Chrome ?