Merci pour l’info @RGJ !
La PR pour supprimer l’option NULLS NOT DISTINCT est en ligne :
NULLS NOT DISTINCT