Publications HAL de Velasco de la collection LJK