Thanks a lot to be so quick ! That's not something I do every day, so it's easy to forget. A last question, your last system-ui has ben integrated into your repository? or must be installed directly from the .deb?

Thanks again.