Repository for GestDoc, an electronic way to manage documents