Bonjour, Je viens de voir une annonce de la part d'un oiseau (Pinson) et viens d'annoncer que Bram Moolenaar est décédé à l'hôpital le 3 août 2023 : https://groups.google.com/g/vim_announce/c/tWahca9zkt4 Merci pour votre aimable attention Bien à vous Bernard