Un collègue m'a demandé l'info, et je me dis que c'est toujours quelque chose à avoir sous la main, au cas où ...