Publications HAL de pascal,brioist