« Optimising texsearch » http://t.co/OiBPufZeYA YOUPI ‼ La recherche de texte dans des sources #LaTeX est une plaie. #science

7:19pm December 15th 2013 via TweetDeck