On Feb 4, 2011, at 12:58 PM, Geert Claes wrote:

Nice, maybe we should rename the tab "Tous" to "All" :)

I do not now how (it has no button for renaming like the others) -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.