download bibtex from HAL

1 job for main in 20 seconds (queued for 5 seconds)