Cette version comporte pas moins de onze nouveautés et une correction par rapport à la version 3.9 sortie le 5 octobre 2020. Une correction (changement de défaut) n’a finalement pas été incluse dans ...