This is BibTeX, Version 0.99d (TeX Live 2017) Capacity: max_strings=100000, hash_size=100000, hash_prime=85009 The top-level auxiliary file: RR-9395.aux The style file: plainnat.bst Database file #1: predef.bib Database file #2: shapiro-bib-ext.bib Database file #3: shapiro-bib-perso.bib Database file #4: references.bib Warning--entry type for "why3_spec" isn't style-file defined --line 595 of file references.bib You've used 18 entries, 2773 wiz_defined-function locations, 1038 strings with 15751 characters, and the built_in function-call counts, 10547 in all, are: = -- 1007 > -- 615 < -- 19 + -- 205 - -- 187 * -- 906 := -- 1581 add.period$ -- 84 call.type$ -- 18 change.case$ -- 113 chr.to.int$ -- 18 cite$ -- 36 duplicate$ -- 470 empty$ -- 779 format.name$ -- 209 if$ -- 2274 int.to.chr$ -- 1 int.to.str$ -- 1 missing$ -- 14 newline$ -- 121 num.names$ -- 78 pop$ -- 214 preamble$ -- 1 purify$ -- 96 quote$ -- 0 skip$ -- 373 stack$ -- 0 substring$ -- 396 swap$ -- 123 text.length$ -- 14 text.prefix$ -- 0 top$ -- 0 type$ -- 198 warning$ -- 0 while$ -- 87 width$ -- 0 write$ -- 309 (There was 1 warning)