message: Update biblio/bibliography.bib
diff: @@ -167,7 +167,7 @@ language={English},
  number = {RR-8436},
  year = {2013},
  month = Dec,
  - pdf = {https://hal.inria.fr/hal-00922572/PDF/RR-8436.pdf},
  + pdf = {https://hal.inria.fr/hal-00922572v5/document},
  }
  