Bonjour. Voici une petite nouvelle pour ceux intéressés par kile et la correction orthographique : bien qu'il soit déjà possible de configurer proprement le correcteur orthographique souhaité (voir par exemple http://ubuntuforums.org/showthread.php?t=291531),...