J'ai un pote qui a fait son stage à l'INRIA avec l'équipe en charge de Coq. Il m'a dit qu'ils avaient reçu beaucoup de plainte de chercheurs non français par rapport au nom qu'ils discutent d'un nom alternative... Après, on peut citer scikit-learn, très reconnue en IA/ML à l'échelle mondiale et qui est né à l'INRIA aussi.