Publications HAL de la collection GeoCoq