Une mise à jour sans histoire

La mise à jour vers WordPress 7.1 s’est faite sans souci.