Publications HAL de fran��ois,loget