Mises à jour mineures d’iOS

Mises à jour mineures du navigateur Vivaldi sur iOS.