>
>
> BTW, If you need help for system administration, I'm willing to help and I can dedicate some time to it. Is there someone I can talk to about this ?
>

The problem is that for now we are running on Inria servers where logins are restricted��� for sure we will at some point move
somewhere else. If that happens, we will make a call for help for sys admin related tasks.

�� �� �� �� Marcus