*/
function urls_generer_url_document_dist($id, $args='', $ancre='', $public=null, $connect='') {
include_spip('inc/documents');
*/
function urls_generer_url_document_dist($id, $args='', $ancre='', $public=null, $connect='') {
include_spip('inc/documents');