Further update the references to sivanov-dblp.bib.

dossier-notes.org

@@ -49,8 +49,8 @@
     including him), =hdr_verlan.bib= (citations of Sergey's own work
     in his HDR).
 
-  Additionally, =sivanov.bib= corresponds to the latest export of by
-  bibliography from [[https://dblp.uni-trier.de/pers/hd/i/Ivanov_0001:Sergiu][DBLP]], while =sivanov-extra.bib= lists some
+  Additionally, =sivanov-dblp.bib= corresponds to the latest export of
+  by bibliography from [[https://dblp.uni-trier.de/pers/hd/i/Ivanov_0001:Sergiu][DBLP]], while =sivanov-extra.bib= lists some
   publications which are not tracked on DBLP.
 
 * My CV in French

publications.tex

@@ -22,7 +22,7 @@
   type=thesis or type=report
 }
 
-\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib]
+\begin{refsection}[bib/sivanov-dblp.bib,bib/sivanov-extra.bib]
 \section{Publications et communications}
 J'ai rédigé ou participé à la
 rédaction de 72 publications, dont 36 dans des revues internationales

recherche.tex

@@ -9,7 +9,7 @@
   bib/programming.bib,
   bib/algebra.bib,
   bib/complex-sys.bib,
-  bib/sivanov.bib,
+  bib/sivanov-dblp.bib,
   bib/sivanov-extra.bib,
   bib/evry.bib
 ]