Merci, ça fait plaisir, et je suis entièrement avec Starpu sur le fait qu'il ne fut pas reprocher (ou même trouver dommage) que d'autres en fassent pas un truc.. Mais:
Il ne faut pas encenser Val et moi sur ce qu'on a fait, ça ne le mérite pas. Remercier oui, si on a trouvé ça utile, ça fait toujours plaisir, mais de là à encenser...