After an iteration for clarification. A simple change in Tite is suggested here. I would suggest just to move ahead and let Kevin implement. Anyone wants to shout? https://sourceforge.net/tracker/?func=detail&atid=644065&aid=3136936&group_id=106328 Laurent Romary INRIA & HUB-IDSL laurent.romary at inria.fr