Annales Henri Lebesgue (cedram)

%%% ====================================================================
%%%  @BibTeX-style-file{
%%%     filename        = "amsalpha+eid.bst",
%%%     version         = "0.2",
%%%     date            = "2019/05/29",
%%%     time            = "13:49:36 EST",
%%%     author          = "Centre Mersenne"
%%%     copyright       = "none",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibtex, bibliography, mersenne",
%%%     supported       = "yes",
%%%     abstract        = "Modified version of BibTeX bibliography style `amsalpha' for BibTeX
%%%                        versions 0.99a or later and LaTeX version 2e.
%%%                        Produces alphabetic-label bibliography items in
%%%                        a form typical for American Mathematical Society
%%%                        publications.",
%%%  }
%%% ====================================================================

%% Modifications include : no MRnumber printer, support for fields from SIAM bst: eid,
%% pagetotal, eprint, eptrintclass, archive, archive prefix

%%  doi, doiclass are ignored

% See the file btxbst.doc for extra documentation other than
% what is included here.  And see btxhak.tex for a description
% of the BibTeX language and how to use it.

% This defines the types of fields that can occur in a database entry
% for this particular bibliography style.  Except for `language',
% this is the standard list from alpha.bst.

%% Types of entries currently allowed in a BibTeX file:
%%
%% ARTICLE -- An article from a journal or magazine.
%%
%% BOOK -- A book with an explicit publisher.
%%
%% BOOKLET -- A work that is printed and bound,
%% but without a named publisher or sponsoring institution.
%%
%% CONFERENCE -- The same as INPROCEEDINGS,
%% included for Scribe compatibility.
%%
%% INBOOK -- A part of a book,
%% which may be a chapter (or section or whatever) and/or a range of pages.
%%
%% INCOLLECTION -- A part of a book having its own title.
%%
%% INPROCEEDINGS -- An article in a conference proceedings.
%%
%% MANUAL -- Technical documentation.
%%
%% MASTERSTHESIS -- A Master's thesis.
%%
%% MISC -- Use this type when nothing else fits.
%%
%% PHDTHESIS -- A PhD thesis.
%%
%% PROCEEDINGS -- The proceedings of a conference.
%%
%% TECHREPORT -- A report published by a school or other institution,
%% usually numbered within a series.
%%
%% UNPUBLISHED -- A document having an author and title, but not formally
%% published.

ENTRY
  { address
    author
    booktitle
    chapter
    edition
    editor
    eid
    howpublished
    institution
    journal
    key
    language
    month
    note
    number
    organization
    pagetotal
    pages
    publisher
    school
    series
    title
    type
    volume
    year
    url
    urldate
%    doi
%    doiclass
    eprint
    eprintclass
    archive
    archiveprefix
}
  {}
  { label extra.label sort.label bysame }

% Removed after.sentence, after.block---not needed.

INTEGERS { output.state before.all mid.sentence }

FUNCTION {init.state.consts}
{ #0 'before.all :=
  #1 'mid.sentence :=
}

% Scratch variables:

STRINGS { s t }

% Utility functions

FUNCTION {shows}
{ duplicate$ "::::  `" swap$ * "'" * top$
}

FUNCTION {showstack}
{"STACK====================================================================="
top$
stack$
"ENDSTACK=================================================================="
top$
}

FUNCTION {not}
{   { #0 }
    { #1 }
  if$
}

FUNCTION {and}
{   'skip$
    { pop$ #0 }
  if$
}

FUNCTION {or}
{   { pop$ #1 }
    'skip$
  if$
}

FUNCTION {field.or.null}
{ duplicate$ empty$
    { pop$ "" }
    'skip$
  if$
}

FUNCTION {emphasize}
{ duplicate$ empty$
    { pop$ "" }
    { "\emph{" swap$ * "}" * }
  if$
}

% n.dashify is used to make sure page ranges get the TeX code
% (two hyphens) for en-dashes.

FUNCTION {n.dashify}
{ 't :=
  ""
    { t empty$ not }
    { t #1 #1 substring$ "-" =
	{ t #1 #2 substring$ "--" = not
	    { "--" *
	      t #2 global.max$ substring$ 't :=
	    }
	    {   { t #1 #1 substring$ "-" = }
		{ "-" *
		  t #2 global.max$ substring$ 't :=
		}
	      while$
	    }
	  if$
	}
	{ t #1 #1 substring$ *
	  t #2 global.max$ substring$ 't :=
	}
      if$
    }
  while$
}

% tie.or.space.connect connects two items with a ~ if the
% second item is less than 3 letters long, otherwise it just puts an
% ordinary space.

FUNCTION {tie.or.space.connect}
{ duplicate$ text.length$ #3 <
    { "~" }
    { " " }
  if$
  swap$ * *
}

FUNCTION {add.space.if.necessary}
{ duplicate$ "" =
    'skip$
    { " " * }
  if$
}

% either.or.check gives a warning if two mutually exclusive fields
% were used in the database.

FUNCTION {either.or.check}
{ empty$
    'pop$
    { "can't use both " swap$ * " fields in " * cite$ * warning$ }
  if$
}

FUNCTION {reallytwo.or.check}
{ empty$
    'pop$
    { "do you really want to use both " swap$ * " fields in " * cite$ * " ?" * warning$ }
  if$
}

% output.nonnull is called by output.

FUNCTION {output.nonnull}
% remove the top item from the stack because it's in the way.
{ 's :=
  output.state mid.sentence =
% If we're in mid-sentence, add a comma to the new top item and write it
    { ", " * write$ }
% Otherwise, if we're at the beginning of a bibitem,
    { output.state before.all =
% just write out the top item from the stack;
      'write$
% and the last alternative is that we're at the end of the current
% bibitem, so we add a period to the top stack item and write it out.
        { add.period$ " " * write$ }
      if$
      mid.sentence 'output.state :=
    }
  if$
% Put the top item back on the stack that we removed earlier.
  s
}

% Output checks to see if the stack top is empty; if not, it
% calls output.nonnull to write it out.

FUNCTION {output}
{ duplicate$ empty$
    'pop$
    'output.nonnull
  if$
}

% Standard warning message for a missing or empty field. For the user
% we call any such field `missing' without respect to the distinction
% made by BibTeX between missing and empty.

FUNCTION {missing.warning}
{ "missing " swap$ * " in " * cite$ * warning$ }

% Output.check is like output except that it gives a warning on-screen
% if the given field in the database entry is empty.  t is the field
% name.

FUNCTION {output.check}
{ 't :=
  duplicate$ empty$
    { pop$ t missing.warning }
    'output.nonnull
  if$
}

FUNCTION {output.bibitem}
{ newline$
  "\bibitem[" write$
  label write$
  "]{" write$
  cite$ write$
  "}" write$
  newline$
% This empty string is the first thing that will be written
% the next time write$ is called.  Done this way because each
% item is saved on the stack until we find out what punctuation
% should be added after it.  Therefore we need an empty first item.
  ""
  before.all 'output.state :=
}

FUNCTION {output.nonempty.mrnumber}
{ duplicate$ missing$
    { pop$ "" }
    'skip$
  if$
  duplicate$ empty$
    'pop$
    { " \MR{" swap$ * "}" * write$ }
  if$
}

FUNCTION {fin.entry}
{ add.period$
  write$
%  mrnumber output.nonempty.mrnumber
  newline$
}

% Removed new.block, new.block.checka, new.block.checkb, new.sentence,
% new.sentence.checka, and new.sentence.checkb functions here, since they
% don't seem to be needed in the AMS style.  Also moved some real
% basic functions like `and' and 'or' earlier in the file.

INTEGERS { nameptr namesleft numnames }

% The extra section to write out a language field was added
% for AMSPLAIN.BST.  Not present in plain.bst.

FUNCTION {format.language}
{ language empty$
    { "" }
    { " (" language * ")" * }
  if$
}

% This version of format.names puts names in the format
%
% First von Last, Jr.
%
% (i.e., first name first, no abbreviating to initials).

FUNCTION {format.names}
{ 's :=
  #1 'nameptr :=
  s num.names$ 'numnames :=
  numnames 'namesleft :=
    { namesleft #0 > }
    { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't :=
      nameptr #1 >
	{ namesleft #1 >
	    { ", " * t * }
	    { numnames #2 >
		{ "," * }
		'skip$
	      if$
	      t "others" =
		{ " et~al." * }
		{ " and " * t * }
	      if$
	    }
	  if$
	}
	't
      if$
      nameptr #1 + 'nameptr :=
      namesleft #1 - 'namesleft :=
    }
  while$
}

FUNCTION {format.authors}
{ author empty$
    { "" }
    { bysame "\bysame" =
         { bysame }
         { author format.names }
     if$
    }
  if$
}

FUNCTION {format.editors}
{ editor empty$
    { "" }
    { editor format.names
      editor num.names$ #1 >
	{ " (eds.)" * }
	{ " (ed.)" * }
      if$
    }
  if$
}

FUNCTION {format.nonauthor.editors}
{ editor empty$
    { "" }
    { editor format.names
      editor num.names$ #1 >
	{ ", eds." * }
	{ ", ed." * }
      if$
    }
  if$
}

FUNCTION {format.title}
{ title empty$
    { "" }
    { title "t" change.case$ emphasize }
  if$
}

FUNCTION {format.journal.vol.year}
{ journal empty$
    { "" "journal name" missing.warning }
    { journal
      volume empty$
        'skip$
        { " \textbf{" * volume * "}" * }
      if$
      year empty$
        { "year" missing.warning }
        { " (" * year * ")" * }
      if$
    }
  if$
}

% For formatting the issue number for a journal article.

FUNCTION {format.number}
{ number empty$
    { "" }
    { "no.~" number * }
  if$
}

% For formatting miscellaneous dates

FUNCTION {format.date}
{ year empty$
    { month empty$
	{ "" }
	{ "there's a month but no year in " cite$ * warning$
	  month
	}
      if$
    }
    { month empty$
	'year
	{ month " " * year * }
      if$
    }
  if$
}

%%      The volume, series and number information is sort of tricky.
%%      This code handles it as follows:
%%      If the series is present, and the volume, but not the number,
%%        then we do "\emph{Book title}, Series Name, vol. 000"
%%      If the series is present, and the number, but not the volume,
%%        then we do "\emph{Book title}, Series Name, no. 000"
%%      If the series is present, and both number and volume,
%%        then we do "\emph{Book title}, vol. XX, Series Name, no. 000"
%%      Finally, if the series is absent,
%%        then we do "\emph{Book title}, vol. XX"
%%        or         "\emph{Book title}, no. 000"
%%        and if both volume and number are present, give a warning message.

FUNCTION {format.bookvolume.series.number}
{ volume empty$
    { "" % Push the empty string as a placeholder in case everything else
         % is empty too.
      series empty$
        'skip$
        { pop$ series } % if series is not empty put in stack
      if$
      number empty$
        'skip$
        { duplicate$ empty$ % if no preceding material,
            'skip$          % do nothing, otherwise
            { ", " * }      % add a comma and space to separate.
          if$
          "no." number tie.or.space.connect * % add the number information
        }
      if$
    }
%% If the volume is NOT EMPTY:
    { "vol." volume tie.or.space.connect % vol. XX
      number empty$
        { series empty$
            'skip$
            { series ", " * swap$ *}    % Series Name, vol. XX
          if$
        }
        { series empty$
            { "can't use both volume and number if series info is missing"
              warning$
              "in BibTeX entry type `" type$ * "'" * top$
            }
            { ", " * series * ", no." * number tie.or.space.connect }
          if$
        }
      if$
    }
  if$

}  % end of format.bookvolume.series.number

%% format.inproc.title.where.editors is used by inproceedings entry types

%%      No case changing or emphasizing for the title.  We want initial
%%      caps, roman.
%%      We add parentheses around the address (place where conference
%%      was held).
%%      Likewise we add parentheses around the editors' names.

FUNCTION {format.inproc.title.address.editors}
{ booktitle empty$
    { "" }
    { booktitle
      address empty$
        'skip$
        { add.space.if.necessary "(" * address * ")" * }
      if$
      editor empty$
        'skip$
        { add.space.if.necessary "(" * format.nonauthor.editors * ")" * }
      if$
    }
  if$
}

%% format.incoll.title.editors is similar to format.inproc... but
%% omits the address. For collections that are not proceedings volumes.

FUNCTION {format.incoll.title.editors}
{ booktitle empty$
    { "" }
    { editor empty$
        { booktitle }
        { booktitle
          add.space.if.necessary "(" * format.nonauthor.editors * ")" *
        }
      if$
    }
  if$
}

FUNCTION {format.edition}
{ edition empty$
    { "" }
    { output.state mid.sentence =
	{ edition "l" change.case$ " ed." * }
	{ edition "t" change.case$ " ed." * }
      if$
    }
  if$
}

INTEGERS { multiresult }

FUNCTION {multi.page.check}
{ 't :=
  #0 'multiresult :=
    { multiresult not
      t empty$ not
      and
    }
    { t #1 #1 substring$
      duplicate$ "-" =
      swap$ duplicate$ "," =
      swap$ "+" =
      or or
	{ #1 'multiresult := }
	{ t #2 global.max$ substring$ 't := }
      if$
    }
  while$
  multiresult
}

FUNCTION {format.pagetotal}
{
  pagetotal empty$
  { "" }
  { pagetotal "~pages" * }
  if$
}

FUNCTION {format.eid}
{
  eid empty$
  { "" }
  { pagetotal empty$
      { " article no.~" eid * }
      { " article no.~" eid * " (" * format.pagetotal * ")" *}
    if$
  }
  if$
}

FUNCTION {format.archive}
{
  archiveprefix empty$
      { "" }
      { archiveprefix ":" *}
  if$
}

FUNCTION {format.eprintclass}
{
  eprintclass empty$
      { "" }
      { " [" eprintclass * "]" *}
  if$
}

FUNCTION {format.eprint}
{ eprint empty$
     { "" }
     { archive empty$
      	{"\url{https://arxiv.org/abs/" eprint * "}" * }
         {"\url{" archive *  "/" * eprint * "}" * }
       if$
     }
     if$
}

FUNCTION {format.url}
 { url empty$
    { "" }
    { urldate empty$
	{ "\url{" url * "}" * }
	{ "\url{" url * "} (accessed \printdate{" * urldate * "})" * }
      if$
    }
  if$
}

FUNCTION {format.pages}
{ pages empty$
    { "" }
    { pages n.dashify }
  if$
}

FUNCTION {format.book.pages}
{ pages empty$
    { "" }
    { pages multi.page.check
	{ "pp.~" pages n.dashify * }
	{ "p.~" pages * }
      if$
    }
  if$
}

FUNCTION {format.chapter.pages}
{ chapter empty$
    'format.book.pages
    { type empty$
	{ "ch.~" }
	{ type "l" change.case$ " " * }
      if$
      chapter *
      pages empty$
	'skip$
	{ ", " * format.book.pages * }
      if$
    }
  if$
}

FUNCTION {empty.misc.check}
{ author empty$ title empty$ howpublished empty$
  month empty$ year empty$ note empty$
  and and and and and
  key empty$ not and
    { "all relevant fields are empty in " cite$ * warning$ }
    'skip$
  if$
}

FUNCTION {format.thesis.type}
{ type empty$
    'skip$
    { pop$
      type "t" change.case$
    }
  if$
}

FUNCTION {format.tr.number}
{ type empty$
    { "Tech. Report" }
    'type
  if$
  number empty$
    { "t" change.case$ }
    { number tie.or.space.connect }
  if$
}

% The format.crossref functions haven't been paid much attention
% at the present time (June 1990) and could probably use some
% work.  MJD

FUNCTION {format.article.crossref}
{ key empty$
    { journal empty$
	{ "need key or journal for " cite$ * " to crossref " * crossref *
	  warning$
	  ""
	}
	{ "in " journal * }
      if$
    }
    { "in " key * }
  if$
  " \cite{" * crossref * "}" *
}

FUNCTION {format.crossref.editor}
{ editor #1 "{vv~}{ll}" format.name$
  editor num.names$ duplicate$
  #2 >
    { pop$ " et~al." * }
    { #2 <
	'skip$
	{ editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" =
	    { " et~al." * }
	    { " and " * editor #2 "{vv~}{ll}" format.name$ * }
	  if$
	}
      if$
    }
  if$
}

FUNCTION {format.book.crossref}
{ volume empty$
    { "empty volume in " cite$ * "'s crossref of " * crossref * warning$
      "in "
    }
    { "vol." volume tie.or.space.connect
      " of " *
    }
  if$
  editor empty$
  editor field.or.null author field.or.null =
  or
    { key empty$
	{ series empty$
	    { "need editor, key, or series for " cite$ * " to crossref " *
	      crossref * warning$
	      "" *
	    }
	    { series * }
	  if$
	}
	{ key * }
      if$
    }
    { format.crossref.editor * }
  if$
  " \cite{" * crossref * "}" *
}

FUNCTION {format.incoll.inproc.crossref}
{ editor empty$
  editor field.or.null author field.or.null =
  or
    { key empty$
	{ booktitle empty$
	    { "need editor, key, or booktitle for " cite$ * " to crossref " *
	      crossref * warning$
	      ""
	    }
	    { "in \emph{" booktitle * "}" * }
	  if$
	}
	{ "in " key * }
      if$
    }
    { "in " format.crossref.editor * }
  if$
  " \cite{" * crossref * "}" *
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% The main functions for each entry type.

% journal, vol and year are formatted together because they are
% not separated by commas.

FUNCTION {article}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  crossref missing$
    { format.journal.vol.year "journal, volume, and year" output.check
      format.number output
    }
    { format.article.crossref output.nonnull
    }
  if$
%  format.language *
  eid missing$
   { format.pages "pages" output.check }
   { format.eid "eid" output.check
      "eid and note" note reallytwo.or.check } if$
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {book}
{ output.bibitem
  author empty$
    { format.editors "author and editor" output.check }
    { format.authors output.nonnull
      crossref missing$
	{ "author and editor" editor either.or.check }
	'skip$
      if$
    }
  if$
  format.title "title" output.check
  format.edition output
  crossref missing$
    { format.bookvolume.series.number output
      publisher "publisher" output.check
      address output
    }
    { format.book.crossref output.nonnull
    }
  if$
  format.date "year" output.check
  format.language *
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {booklet}
{ output.bibitem
  format.authors output
  format.title "title" output.check
  howpublished output
  address output
  format.date output
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {inbook}
{ output.bibitem
  author empty$
    { format.editors "author and editor" output.check }
    { format.authors output.nonnull
      crossref missing$
	{ "author and editor" editor either.or.check }
	'skip$
      if$
    }
  if$
  format.title "title" output.check
  format.edition output
  crossref missing$
    { format.bookvolume.series.number output
      format.chapter.pages "chapter and pages" output.check
      publisher "publisher" output.check
      address output
    }
    { format.chapter.pages "chapter and pages" output.check
      format.book.crossref output.nonnull
    }
  if$
  format.date "year" output.check
%  format.language *
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {incollection}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  crossref missing$
    { format.incoll.title.editors "booktitle" output.check
      format.bookvolume.series.number output
      publisher "publisher" output.check
      address output
      format.edition output
      format.date "year" output.check
    }
    { format.incoll.inproc.crossref output.nonnull
    }
  if$
  note output
  format.book.pages output
  format.url output
  format.eprint output
%  format.language *
  fin.entry
}

FUNCTION {inproceedings}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  crossref missing$
    { format.inproc.title.address.editors "booktitle" output.check
      format.bookvolume.series.number output
      organization output
      publisher output
      format.date "year" output.check
    }
    { format.incoll.inproc.crossref output.nonnull
    }
  if$
  note output
  format.book.pages output
  format.url output
  format.eprint output
%  format.language *
  fin.entry
}

FUNCTION {conference} { inproceedings }

FUNCTION {manual}
{ output.bibitem
  author empty$
    { organization empty$
	'skip$
	{ organization output.nonnull
	  address output
	}
      if$
    }
    { format.authors output.nonnull }
  if$
  format.title "title" output.check
  author empty$
    { organization empty$
	{ address output }
	'skip$
      if$
    }
    { organization output
      address output
    }
  if$
  format.edition output
  format.date output
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {mastersthesis}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  "Master's thesis" format.thesis.type output.nonnull
  school "school" output.check
  address output
  format.date "year" output.check
  format.url output
  format.eprint output
  note output
  format.book.pages output
  fin.entry
}

FUNCTION {misc}
{ output.bibitem
  format.authors output
  format.title output
  howpublished output
  format.date output
  format.url output
  format.eprint output
  note output
  format.book.pages output
  fin.entry
  empty.misc.check
}

FUNCTION {phdthesis}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  "Ph.D. thesis" format.thesis.type output.nonnull
  school "school" output.check
  address output
  format.date "year" output.check
  format.url output
  format.eprint output
  note output
  format.book.pages output
  fin.entry
}

FUNCTION {proceedings}
{ output.bibitem
  editor empty$
    { organization output }
    { format.editors output.nonnull }
  if$
  format.title "title" output.check
  format.bookvolume.series.number output
  address empty$
    { editor empty$
        'skip$
	{ organization output }
      if$
      publisher output
      format.date "year" output.check
    }
    { address output.nonnull
      editor empty$
	'skip$
	{ organization output }
      if$
      publisher output
      format.date "year" output.check
    }
  if$
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {techreport}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  format.tr.number output.nonnull
  institution "institution" output.check
  address output
  format.date "year" output.check
  format.url output
  format.eprint output
  note output
  fin.entry
}

FUNCTION {unpublished}
{ output.bibitem
  format.authors "author" output.check
  format.title "title" output.check
  note "note" output.check
  format.date output
  format.url output
  format.eprint output
  fin.entry
}

FUNCTION {default.type} { misc }

MACRO {jan} {"January"}

MACRO {feb} {"February"}

MACRO {mar} {"March"}

MACRO {apr} {"April"}

MACRO {may} {"May"}

MACRO {jun} {"June"}

MACRO {jul} {"July"}

MACRO {aug} {"August"}

MACRO {sep} {"September"}

MACRO {oct} {"October"}

MACRO {nov} {"November"}

MACRO {dec} {"December"}

READ

FUNCTION {sortify}
{ purify$
  "l" change.case$
}

INTEGERS { len }

FUNCTION {chop.word}
{ 's :=
  'len :=
  s #1 len substring$ =
    { s len #1 + global.max$ substring$ }
    's
  if$
}

INTEGERS { et.al.char.used }

FUNCTION {initialize.et.al.char.used}
{ #0 'et.al.char.used :=
}

EXECUTE {initialize.et.al.char.used}

FUNCTION {format.lab.names}
{ 's :=
  s num.names$ 'numnames :=
  numnames #1 >
    { numnames #4 >
	{ #3 'namesleft := }
	{ numnames 'namesleft := }
      if$
      #1 'nameptr :=
      ""
	{ namesleft #0 > }
	{ nameptr numnames =
	    { s nameptr "{ff }{vv }{ll}{ jj}" format.name$ "others" =
		{ "{\etalchar{+}}" *
		  #1 'et.al.char.used :=
		}
		{ s nameptr "{v{}}{l{}}" format.name$ * }
	      if$
	    }
	    { s nameptr "{v{}}{l{}}" format.name$ * }
	  if$
	  nameptr #1 + 'nameptr :=
	  namesleft #1 - 'namesleft :=
	}
      while$
      numnames #4 >
	{ "{\etalchar{+}}" *
	  #1 'et.al.char.used :=
	}
	'skip$
      if$
    }
    { s #1 "{v{}}{l{}}" format.name$
      duplicate$ text.length$ #2 <
	{ pop$ s #1 "{ll}" format.name$ #3 text.prefix$ }
	'skip$
      if$
    }
  if$
}

FUNCTION {author.key.label}
{ key empty$
    { author empty$
        { cite$ #1 #3 substring$ }
        { author format.lab.names }
        if$ }
    { key }
    if$ }

FUNCTION {author.editor.key.label}
{ key empty$
    { author empty$
        { editor empty$
            { cite$ #1 #3 substring$ }
            { editor format.lab.names }
            if$ }
        { author format.lab.names }
        if$ }
    { key #3 text.prefix$ }
    if$ }

FUNCTION {author.key.organization.label}
{ author empty$
    { key empty$
	{ organization empty$
	    { cite$ #1 #3 substring$ }
	    { "The " #4 organization chop.word #3 text.prefix$ }
	  if$
	}
	{ key #3 text.prefix$ }
      if$
    }
    { author format.lab.names }
  if$
}

FUNCTION {editor.key.organization.label}
{ editor empty$
    { key empty$
	{ organization empty$
	    { cite$ #1 #3 substring$ }
	    { "The " #4 organization chop.word #3 text.prefix$ }
	  if$
	}
	{ key #3 text.prefix$ }
      if$
    }
    { editor format.lab.names }
  if$
}

FUNCTION {calc.label}
{ type$ "book" =
  type$ "inbook" =
  or
    'author.editor.key.label
    { type$ "proceedings" =
	'editor.key.organization.label
	{ type$ "manual" =
	    'author.key.organization.label
	    'author.key.label
	  if$
	}
      if$
    }
  if$
  duplicate$
  year field.or.null purify$ #-1 #2 substring$
  *
  'label :=
  year field.or.null purify$ #-1 #4 substring$
  *
  sortify 'sort.label :=
}

FUNCTION {sort.format.names}
{ 's :=
  #1 'nameptr :=
  ""
  s num.names$ 'numnames :=
  numnames 'namesleft :=
    { namesleft #0 > }
    { nameptr #1 >
	{ "   " * }
	'skip$
      if$
      s nameptr "{vv{ } }{ll{ }}{  ff{ }}{  jj{ }}" format.name$ 't :=
      nameptr numnames = t "others" = and
	{ "et al" * }
	{ t sortify * }
      if$
      nameptr #1 + 'nameptr :=
      namesleft #1 - 'namesleft :=
    }
  while$
}

FUNCTION {sort.format.title}
{ 't :=
  "A " #2
    "An " #3
      "The " #4 t chop.word
    chop.word
  chop.word
  sortify
  #1 global.max$ substring$
}

FUNCTION {author.sort}
{ author empty$
    { key empty$
	{ "to sort, need author or key in " cite$ * warning$
	  ""
	}
	{ key sortify }
      if$
    }
    { author sort.format.names }
  if$
}

FUNCTION {author.editor.sort}
{ author empty$
    { editor empty$
	{ key empty$
	    { "to sort, need author, editor, or key in " cite$ * warning$
	      ""
	    }
	    { key sortify }
	  if$
	}
	{ editor sort.format.names }
      if$
    }
    { author sort.format.names }
  if$
}

FUNCTION {author.organization.sort}
{ author empty$
    { organization empty$
	{ key empty$
	    { "to sort, need author, organization, or key in " cite$ * warning$
	      ""
	    }
	    { key sortify }
	  if$
	}
	{ "The " #4 organization chop.word sortify }
      if$
    }
    { author sort.format.names }
  if$
}

FUNCTION {editor.organization.sort}
{ editor empty$
    { organization empty$
	{ key empty$
	    { "to sort, need editor, organization, or key in " cite$ * warning$
	      ""
	    }
	    { key sortify }
	  if$
	}
	{ "The " #4 organization chop.word sortify }
      if$
    }
    { editor sort.format.names }
  if$
}

FUNCTION {presort}
{ calc.label
  sort.label
  "    "
  *
  type$ "book" =
  type$ "inbook" =
  or
    'author.editor.sort
    { type$ "proceedings" =
	'editor.organization.sort
	{ type$ "manual" =
	    'author.organization.sort
	    'author.sort
	  if$
	}
      if$
    }
  if$
  *
  "    "
  *
  year field.or.null sortify
  *
  "    "
  *
  title field.or.null
  sort.format.title
  *
  #1 entry.max$ substring$
  'sort.key$ :=
}

ITERATE {presort}

SORT

STRINGS {
  longest.label last.sort.label next.extra prev.author this.author
}

INTEGERS { longest.label.width last.extra.num }

FUNCTION {initialize.longest.label}
{ "" 'longest.label :=
  #0 int.to.chr$ 'last.sort.label :=
  "" 'next.extra :=
  #0 'longest.label.width :=
  #0 'last.extra.num :=
  "abcxyz" 'prev.author :=
  "" 'this.author :=
}

FUNCTION {forward.pass}
{ last.sort.label sort.label =
    { last.extra.num #1 + 'last.extra.num :=
      last.extra.num int.to.chr$ 'extra.label :=
    }
    { "a" chr.to.int$ 'last.extra.num :=
      "" 'extra.label :=
      sort.label 'last.sort.label :=
    }
  if$
  author empty$ { editor empty$ { "" } 'editor if$ } 'author if$
  'this.author :=
  this.author prev.author =
    { "\bysame" 'bysame := }
    { "" 'bysame :=
      this.author "" =
        { "abcxyz" }
        'this.author
      if$
      'prev.author :=
    }
  if$
}

FUNCTION {reverse.pass}
{ next.extra "b" =
    { "a" 'extra.label := }
    'skip$
  if$
  label extra.label * 'label :=
  label width$ longest.label.width >
    { label 'longest.label :=
      label width$ 'longest.label.width :=
    }
    'skip$
  if$
  extra.label 'next.extra :=
}

EXECUTE {initialize.longest.label}

ITERATE {forward.pass}

REVERSE {reverse.pass}

FUNCTION {begin.bib}
{ et.al.char.used
    { "\newcommand{\etalchar}[1]{$^{#1}$}" write$ newline$ }
    'skip$
  if$
  preamble$ empty$
    'skip$
    { preamble$ write$ newline$ }
  if$
  "\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}"
    write$ newline$
  "\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }"
    write$ newline$
  "% \MRhref is called by the amsart/book/proc definition of \MR."
    write$ newline$
  "\providecommand{\MRhref}[2]{%"
    write$ newline$
  "  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}"
    write$ newline$
  "}"
    write$ newline$
  "\providecommand{\href}[2]{#2}"
    write$ newline$
  "\begin{thebibliography}{"  longest.label  * "}" *
    write$ newline$
}

EXECUTE {begin.bib}

EXECUTE {init.state.consts}

ITERATE {call.type$}

FUNCTION {end.bib}
{ newline$
  "\end{thebibliography}" write$ newline$
}

EXECUTE {end.bib}
%% \CharacterTable
%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
%%   Digits        \0\1\2\3\4\5\6\7\8\9
%%   Exclamation   \!     Double quote  \"     Hash (number) \#
%%   Dollar        \$     Percent       \%     Ampersand     \&
%%   Acute accent  \'     Left paren    \(     Right paren   \)
%%   Asterisk      \*     Plus          \+     Comma         \,
%%   Minus         \-     Point         \.     Solidus       \/
%%   Colon         \:     Semicolon     \;     Less than     \<
%%   Equals        \=     Greater than  \>     Question mark \?
%%   Commercial at \@     Left bracket  \[     Backslash     \\
%%   Right bracket \]     Circumflex    \^     Underscore    \_
%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
%%   Right brace   \}     Tilde         \~}

\setpublname[Annales Henri Lebesgue]{Annales Henri Lebesgue}%
\let\iftagsleft@\iftrue
\PassOptionsToPackage{leqno}{amsmath}%
\cdr@publishTeXtrue
\PassOptionsToPackage{pagebackref}{hyperref}%
\cdr@uppercaseheadtitlesfalse
\cdr@uppercaseheadauthorsfalse

\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{cedram-AHL}

\def\currentjournaltitle{Annales Henri Lebesgue}%
\protected@edef\currentjournalpublisher{\'ENS Rennes}
\def\currentjournalshorttitle{Ann. Henri Leb.}%
\eISSN{2644-9463}
\CDRjournalURL{ahl}
\CDRsetmeta{license}{ccby4}

\RequirePackage[height=24cm,a4paper,hmargin={3cm,3cm},headsep=1.3cm, includehead]{geometry}

%% Typographie
\footskip36pt
\def\footnoterule{\kern-6\p@
  \hrule width 1truein \kern 5.6\p@}
\skip\footins=12pt plus 4pt minus 4pt
\parskip=0pt
%5pt plus 1pt minus .6pt
\parindent=10pt
% 24pt
\normalparindent=10pt
\smallskipamount=3pt plus 1pt minus .6pt
\medskipamount=5pt plus 1pt minus .6pt
\bigskipamount=13pt plus 2pt minus 1pt
\renewcommand\baselinestretch{}
\frenchspacing
\let\bbl@nonfrenchspacing\frenchspacing
% remettre les sfcode = 1000 pour les capitales
\count255=`A
  \sfcode\count255=1000
  \loop
   \ifnum\count255<`Z
   \advance\count255 by 1
   \sfcode\count255=1000
  \repeat
\StandardFootnotes
\def\sloppy{%
  \tolerance 9999%
  \emergencystretch 1em%
  \hfuzz .5\p@
  \vfuzz\hfuzz}
%% 10 pt et dimensions TeX...
\def\@mainsize{12}\def\@ptsize{2}%
  \normaltopskip=12pt \relax
  \def\@typesizes{%
    \or{7}{8}\or{8}{10}\or{9}{11}\or{10}{12}\or{\@xipt}{13}%
    \or{\@xiipt}{14}% normalsize
    \or{\@xivpt}{17}\or{\@xviipt}{20}\or{\@xxpt}{24}%
    \or{\@xxvpt}{30}\or{\@xxvpt}{30}}%
  \normalsize \linespacing=\baselineskip

\let\ept\Small
%%%% Versions jolies -- macros sp\'ecifiques
\RequirePackage{amssymb}
\let\le\leqslant
\let\ge\geqslant
\let\leq\leqslant
\let\geq\geqslant
\def\vcorr{~\\*[-2\baselineskip]}
%% Truc discutable... Je le desactive (SG)
%\DeclareRobustCommand\em
%        {\@nomath\em \ifdim \fontdimen\@ne\font >\z@
%                       \upshape \else \slshape \fi}
%%
\def\todo{\`A faire !}
\def\pointir{\discretionary{.}{}{.\kern.3em---\kern.4em\ignorespaces}}
% Pas de mise en romain des num\'erotations intempestives !
\def\@upn#1{#1}
\let\cdr@up\relax
\RequirePackage{mathtools}
%
% Pour pouvoir utiliser la police OratorFS dans les titres
% Attention : il faut aussi configurer tex pour qu'il trouve les fontes,
% soit en copiant le contenu du sous-r\'epertoire texmf-AHL \`a des endroits
% regard\'es par latex, soit en lui disant de regarder dans texmf-AHL en ajustant
% TEXINPUTS et TEXFONTS
% Cette police est sous copyright, on ne peut pas la distribuer aux auteurs
% qui voudraient compiler pour voir ce que \c{c}a donne. Si la fonte OratorFS
% n'est pas disponible, on utilise une police de remplacement (police avantgarde,
% nom de la famille = pag), disponible sur une installation latex standard

\newif\ifOrator
\IfFileExists{OratorFS.sty}\Oratortrue\Oratorfalse
\ifOrator
\def\OratorFont{OratorFS-TLF}
% La ligne suivante evite d'avoir \`a appeler updmap
\pdfmapfile{+OratorFS.map}
\else
\typeout{^^JThe (copyrighted) font OratorFS used by AHL is not available, use
avantgarde font as fallback -- the result of this compilation will not correspond
exactly to the final result regarding the title and authors font.%
^^J}
\def\OratorFont{pag}
\fi

%% microtype ameliore considerablement la typographie
% On s'en sert entre autres pour espacer plus les lettres de la police
% OratorFS
\RequirePackage[stretch=10, tracking=true, letterspace = 130]{microtype}
\DeclareMicrotypeSet*[tracking]{oratorset}{family=OratorFS-TLF}




% Couleur
\definecolor{AHL-color}{RGB}{0,167,212}
% Nice backrefs with hyperref
\AtBeginDocument{%
\def\backreflastsep{, }
\def\backreftwosep{, }
\def\backref#1{}
\def\backrefalt#1#2#3#4{%
\ifcase #1%
    \or $\uparrow$#2%
    \else $\uparrow$#2%
\fi
}}

% editor commands

\def\editor#1{\def\editor@name{#1}}

\def\frencheditorname{\'editeur}

\def\womandeditor{\def\frencheditorname{\'editrice}}

\editor{{\color{red}Missing editor}}

\if@francais
  \def\editor@string{Recommand\'e par l'\frencheditorname{} \editor@name.}
\else
  \def\editor@string{Recommended by Editor \editor@name.}
\fi

\def\editors#1{
  \def\editor@name{#1}
  \if@francais
    \def\editor@string{Recommand\'e par les \'editeurs \editor@name.}
  \else
    \def\editor@string{Recommended by Editors \editor@name.}
  \fi}

%Copyright notice
\if@francais
\def\copyright@string{Publi\'e sous la licence \href{https://creativecommons.org/licenses/by/4.0/}{CC BY 4.0}.}
\else
\def\copyright@string{Published under license \href{https://creativecommons.org/licenses/by/4.0/}{CC BY 4.0}.}
\fi
\def\copyright@notice{\copyright@string\\[4pt]\includegraphics[height=18pt]{cc-by.pdf}}
%% Mersenne Member notice
\if@francais
%
\def\MersenneMember@statement{Cette revue est membre
  % Les \emph{Annales Henri Lebesgue} sont  membres
  du}%
\else%
\def\MersenneMember@statement{This journal
  % \emph{Annales Henri Lebesgue}
  is a member of}%
\fi
%
\def\MersenneMember@notice{%
  {eISSN: 2644-9463\\\MersenneMember@statement\ \href{\CDRbaseURL}{Centre Mersenne}.}\\[2pt]
  % \raisebox{.8cm}
  {\href{\journalURL}{\includegraphics[height=1.5cm]{logo_Mersenne-nb.png}}}}

%----------------------------------------------------------
%% compatibilit\'e enumerate.sty
\AtBeginDocument{%%
\@ifpackageloaded{enumerate}{%
\def\@@enum@[#1]{%
  \@enLab{}\let\@enThe\@enQmark
  \@enloop#1\@enum@
  \ifx\@enThe\@enQmark\@warning{The counter will not be printed.%
   ^^J\space\@spaces\@spaces\@spaces The label is: \the\@enLab}\fi
  \expandafter\edef\csname label\@enumctr\endcsname{\the\@enLab}%
  \expandafter\let\csname the\@enumctr\endcsname\@enThe
  \csname c@\@enumctr\endcsname7
  \expandafter\settowidth
            \csname leftmargin\romannumeral\@enumdepth\endcsname
            {\the\@enLab\hspace{\labelsep}}%
  \advance\leftmargini by \normalparindent
  \@enum@}
\def\@enum@{\list{\csname label\@enumctr\endcsname}%
           {\usecounter{\@enumctr}\def\makelabel##1{\hss\llap{\upshape##1}}}}%
}{}}% fin de AtBeginDocument

%----------------------------------------------------------------------------
% Mise en page premi\`ere page
\pagenumbering{arabic}%
%% Forme des r\'esum\'es (n\'eant !)
\def\abstractheadfont{\scshape}
\def\@setabstracthead{{\abstractheadfont\hspace*{1em}\abstractname\unskip\pointir\ignorespaces}}
\def\@setaltabstracthead{{\abstractheadfont\hspace*{1em}\altabstractname\unskip\pointir\ignorespaces}}
%
%%�Pas de � logo � pour certains articles sp\'eciaux
\def\NoLogo{\xdef\article@logo{}}
%% noms dans les ent\^ets
%\def\@maketitle@shortauthors@hook{
\def\cdr@evenheadcode{\def\lastname##1{\def\l@stmp@{##1}\uppercasenonmath\l@stmp@\l@stmp@}}

%------------------------------------------------------------------------
%% Style des pages courantes
\def\ps@ahl{%\ps@empty
  \def\@evenhead{%
    \normalfont%
    \rlap{\thepage}{}\hfil
    \def\thanks{\protect\thanks@warning}%
    {\scriptsize\leftmark}{}{}\hfil}%
  \def\@oddhead{%
    \normalfont \hfil
    \def\thanks{\protect\thanks@warning}%
    {\scriptsize\rightmark}{}{}\hfil \llap{\thepage}{}}%
  \def\@evenfoot{\Tiny\MakeUppercase{\currentjournaltitle}\hfill}%
  \def\@oddfoot{\Tiny\MakeUppercase{TOME \currentvolume\
      (\currentyear)}\hfill}%
  \let\@mkboth\cdr@markboth
}%
\let\ps@plain\ps@ahl
\pagestyle{ahl}%
%% Style de la premi\`ere page
\def\ps@firstpage{\ps@plain
  \def\@oddfoot{\global\topskip\normaltopskip}%
  \let\@evenfoot\@oddfoot
  \def\@oddhead{\@serieslogo\hss}%
  \let\@evenhead\@oddhead % in case an article starts on a left-hand page
}%
% %% Identification article premi\`ere page
 \def\@logofont{\Small}
 % \ifcdr@special
% \def\article@logo{}%
% \else
 \def\article@logo{%
   \set@logo{%
     {\shortpublname}\\
     \ifx\@empty\currentvolume \textbf{Version de travail}
     \else \ifnum\currentvolume>\z@\textbf{\currentvolume} (\currentyear) \pageinfo
	\else {\selectlanguage{french}Article \`a para\^\i tre\ifx\@empty\@dateposted \else \\
  \emph{Mis en ligne le \printdate{\@dateposted}}\fi}.\\
	\fi
     \fi
   }%
 }
% \fi

%----------------------------------------------------------
%% Pr\'esentation du titre
% On veut toujours avoir un sous-titre traduit.
% Appeler la commande \noalttitle si, vraiment, on n'en veut pas
\def\@alttitle{Missing translated title}
\newif\if@alttitle\@alttitletrue
\let\noalttitle\@alttitlefalse
\def\@settitle{%
  \bgroup
  \raggedright
  \vskip20pt plus 6pt minus 3pt
  \fontfamily{\OratorFont}\fontsize{26}{26}\fontseries{m}\selectfont
  \uppercasenonmath\@title
  \@title
  \if@alttitle
  \vskip8pt plus 1pt minus 1pt
  \fontsize{20}{22}\selectfont%
  \color{AHL-color}%
  \uppercasenonmath\@alttitle
  \@alttitle
  \fi
  \vskip20pt plus 6pt minus 3pt
  \egroup
}

\def\@setredactor@contribs{%
\if@francais
R\'edig\'e par
\else
Redacted by
\fi
\author@andify\redactor@contribs
\redactor@contribs
}
\def\@setappendixwriter@contribs{%
\if@francais
Avec un appendice par
\else
With an appendix by
\fi
\author@andify\appendixwriter@contribs
\appendixwriter@contribs
}



\def\@setauthors{%
  \begingroup
  \raggedright
  \fontfamily{\OratorFont}\fontsize{18pt}{18pt}\fontseries{m}\selectfont
  \parindent=0pt\normalparindent=0pt%
  \def\lastname##1{\def\l@stmp@{##1}\uppercasenonmath\l@stmp@\l@stmp@}%
  \let\firstname\lastname%
  %\myspace : filet entre les noms des auteurs
  \def\myspace{\vskip5pt plus 1pt minus 1pt\hrule height 0.2pt\vskip5pt plus 1pt minus 1pt\relax}%
  % Dans la macro \authors, les noms des auteurs sont espac\'es par \and.
  % On fait en sorte que cette commande passe \`a la ligne et affiche le filet, comme
  % \c{c}a tout se fait tout seul si on ex\'ecute \authors.
  % On rajoute aussi une bo\^{\i}te invisible de taille verticale
  % la taille verticale maximale des noms des auteurs, pour assurer que les filets
  % soient tous \'equitablement espac\'es (utile s'il y a des auteurs avec accents et
  % des auteurs sans accents)
  \def\and{\myspace\leavevmode\begingroup\def\and{}\vphantom{\authors}\endgroup}%
  \and\authors\myspace\unskip%
  \endgroup
}

% Le logo suivant est fait integralement en latex, mais il ne correspond pas tout
% a fait au logo, on va plutot utiliser une version pdf du logo.
\def\AHLlogoold{%
  \begingroup
  \centering
  \setlength{\unitlength}{1mm}
  \begin{picture}(36,18)(-2,-5)
  \put(5,0){\line(1,0){18.5}}
  \put(3.25,5.63){\line(500,866){9.25}}
  \color{AHL-color}
  \put(15, 25.98){\circle*{3}}
  \put(0, 0){\circle*{6}}
  \put(30, 0){\circle*{9}}
  \end{picture}%
  \vskip3pt
  \fontfamily{\OratorFont}\fontsize{12pt}{14pt}\selectfont
  \ifOrator%
  annales\else%
  \textsc{annales}\fi\\
  %next lines are a hack to fake bold on a font without bold
  \pdfliteral direct {2 Tr 0.3 w}%
  HENRI LEBESGUE%
  \pdfliteral direct {0 Tr 0 w}%
  \vskip0pt\relax
  \endgroup
}

\def\AHLlogo{%
  \begingroup
  \centering
  \vspace*{-1.8cm}
  \href{https://annales.lebesgue.fr/}{\includegraphics[width=4.5cm]{logoAHL.pdf}}
  \vskip0pt\relax
  \endgroup
}

%On modifie \@maketitle car on veut mettre les auteurs avant le titre
\def\@maketitle{%
\ifcdr@recup
  \@mkboth{\@nx\shortauthors}{\@nx\shorttitle}%
\else
  \normalfont\normalsize
  \@adminfootnotes
%  \@mkboth{\@nx\shortauthors}{\@nx\shorttitle}%
  \AHLlogo%
  \vskip35pt plus 10pt minus 5pt
  \global\topskip\@titletopskip\relax % 5.5pc   "   "   "     "     "
  \ifx\@empty\authors \else \@setauthors \fi
  \@settitle
  \hrule height0.1pt\vskip5pt%
  \ifx\@empty\@subtitle\else \@setsubtitle\fi
  \ifx\@empty\@afterauthor\else \@setafterauthor\fi
  \ifx\@empty\@dedicatory\else\@setdedicatory\fi
    \vskip20pt plus 8pt minus 5pt
    \@setabstract@first
    \cdr@interabstracthook
    \@setabstract@last
    \cdr@postabstracthook
  \normalsize
  \if@titlepage
    \newpage
  \else
    \dimen@\@titlebotskip \advance\dimen@-\baselineskip
    \vskip\dimen@\relax
  \fi
\fi} % end \@maketitle


\def\@setsubtitle{%
  \bgroup
  \centering
  \vglue-3mm
  \fontfamily{\OratorFont}
  \fontsize{12}{15}\selectfont
  %\usefont{T1}{lmr}{b}{n}%
%  \uppercasenonmath\@subtitle
  \@subtitle
  \vskip10pt plus 3pt minus 4pt
  \egroup
}
\def\@setafterauthor{%
  \bgroup
  \centering
  \vglue-3mm
  \fontsize{12}{15}\fontseries{b}\selectfont
  %\usefont{T1}{lmr}{b}{n}%
%  \uppercasenonmath\@afterauthor
  \@afterauthor
  \vskip10pt plus 3pt minus 4pt
  \egroup
}
\def\@setdedicatory{%
	\vskip6pt
	\vtop{\raggedleft{\footnotesize\slshape\@dedicatory\@@par}}
\vskip-6pt}
\advance\@titlebotskip-7mm


%----------------------------------------------------------
%% Pb num\'erotations relatives \`a la section si pas de section !
\newif\ifcdr@nosections\cdr@nosectionsfalse
\def\NoSections{\global\cdr@nosectionstrue}
\def\cdr@postabstracthook{%
  \ifcdr@nosections\gdef\thesection##1{}\fi}
%% Notes
\def\@makefnmark{%
  \leavevmode
	\raise.9ex\hbox{\fontsize\sf@size\z@\normalfont(\@thefnmark)\kern.15em}\ignorespaces%
}
\def\@makefntext{\noindent\@makefnmark}
%% Notes de la premi\`ere page
\def\@adminfootnotes{%
  \let\@makefnmark\relax  \let\@thefnmark\relax
  \begingroup\parindent=0pt\normalparindent=0pt
  \ifx\@empty\@keywords\else \@footnotetext{\@setkeywords}\fi
  \ifx\@empty\@subjclass\else \@footnotetext{\@setsubjclass}\fi
  \ifx\CDRdoi\@empty\@footnotetext{\texttt{\textcolor{red}{DOI unassigned yet}}}%
    \else\@footnotetext{\@setDOI}\fi
  \ifx\@empty\@translators \else\@footnotetext{\@settranslators}\fi
  \ifx\@empty\thankses\else \@footnotetext{%
    \def\par{\let\par\@par}\@setthanks}%
  \fi
\endgroup}
\def\@settranslators{%
  \def\lastname##1{\def\l@stmp@{##1}\uppercasenonmath\l@stmp@\l@stmp@}%
  \def\junior##1{\unskip, ##1}%
\andify\@translators
\if@francais
Traduit par
\else
Translated by
\fi
\@translators\@addpunct.}
% on next line, \gdef\@thefnmark{} is a hack to avoid a bad
% interaction between the pagebackref feature of hyperref and the
% \thanks command of amsart, making \cite commands in \thanks problematic
\def\@setthanks{\def\thanks##1{\gdef\@thefnmark{}\par##1\@addpunct.}%
  (*)\kern\fontdimen2\font\thankses}%
\def\@setsubjclass{%
  {\slshape\subjclassname\thsp:}\space\@subjclass\@addpunct.}
\def\@setkeywords{%
  {\slshape \keywordsname\thsp:}\space \@keywords\@addpunct.}
\if@francais
 \def\keywordsname{Mots-cl\'es}
\else
 \def\keywordsname{Keywords}
\fi
\@xp\let\csname subjclassname@2010\endcsname \subjclassname
\if@francais
\RequirePackage[french,orig]{isodate}
\else
\RequirePackage[english,orig]{isodate}
\fi
\def\@setDOI{%
  {\slshape DOI\thsp:}\space \url{https://doi.org/\CDRdoi}}


%-----------------------------------------------------------------------
%% Derni\`ere page
\if@francais
\def\@setdatereceived{%
  \nobreak\par
  Manuscrit re\c{c}u le \printdate\@datereceived,}%
\def\@setdaterevised{%
  \newline\nopagebreak
  r\'evis\'e le \printdate\@daterevised,}%
\def\@setdateaccepted{%
  \newline\nopagebreak
  accept\'e le \printdate\@dateaccepted.}%
\else
\def\@setdatereceived{%
  \nobreak\par
  Manuscript received on \printdate\@datereceived,}%
\def\@setdaterevised{%
  \newline\nopagebreak
  revised on \printdate\@daterevised,}%
\def\@setdateaccepted{%
  \newline\nopagebreak
  accepted on \printdate\@dateaccepted.}%
\fi
%
%
\def\rightragged{%
  \let\\\@centercr\@rightskip\@flushglue \rightskip\@rightskip
%  \leftskip\z@skip
%  \parindent\z@
}
\def\@setaddresses{
  \par
  \begingroup
    \url@samestyle
    \rightragged
    \interlinepenalty\@M
    \def\lastname##1{\def\l@stmp@{##1}\uppercasenonmath\l@stmp@\l@stmp@}
    \def\junior##1{\unskip, ##1}
    \def\author##1{\par\allowbreak\addvspace\medskipamount\ignorespaces##1\unskip}
    \def\noauthor##1##2{\par\allowbreak\addvspace\medskipamount\ignorespaces##2\unskip}
    \def\address##1##2{%
      \begingroup
        \newline\nopagebreak
        \@ifnotempty{##1}{(\ignorespaces##1\unskip)\newline\nopagebreak}%
        {\ignorespaces##2\unskip}%
      \endgroup
    }
    \def\curraddr##1##2{%
      \begingroup
        \newline\nopagebreak
        \@ifnotempty{##2}{\curraddrname{}\@ifnotempty{##1}{(\ignorespaces##1\unskip)}\thsp:\\*##2}%
      \endgroup
    }
    \def\email##1##2{%
      \begingroup
        \nopagebreak\par\addvspace\smallskipamount
        \@ifnotempty{##2}{\@ifnotempty{##1}{\emailaddrname \space (\ignorespaces##1\unskip):\\*}\href{mailto:##2}{##2}}%
      \endgroup
    }
    \def\urladdr##1##2{%
      \begingroup
        \newline\nopagebreak
        \@ifnotempty{##2}{\@ifnotempty{##1}{\urladdrname \space (\ignorespaces##1\unskip):\\*}\url{##2}}%
      \endgroup
    }
    \addresses
  \endgroup
}
%%�final
\def\@printauthors{\samepage
\par\normalfont\footnotesize
\nobreak\addvspace{.4cm}\leftskip6.5cm\parindent=0pt\parskip0pt\relax
\begingroup\interlinepenalty\@M
\ifx\@empty\@datereceived\else\@setdatereceived
%Non, il n'y a plus de faute d'orthographe dans recie/eived !
\ifx\@empty\@daterevised\else\@setdaterevised\fi
\ifx\@empty\@dateaccepted\newline\nopagebreak Manuscrit non accept\'e !\else\@setdateaccepted\fi\fi
\vskip.3cm
\editor@string\\
\copyright@notice\\[1ex]
\MersenneMember@notice
\endgroup
\vspace{.3cm}
\ifx\@empty\addresses \else\@setaddresses\fi\@@par}
\def\printauthors{\xdef\enddoc@text{}{\@printauthors}}
\ifcdr@special\def\enddoc@text{}\else
\def\enddoc@text{\@printauthors}
\fi


%-----------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% sections
% \section remplace TITRE
\renewcommand\section{\@startsection{section}{1}{\z@}%
{27pt plus 6pt minus 8pt}{14pt plus 6pt minus 8pt}%%
{\center\normalfont\large\bfseries}}
% \subsection remplace \titre
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
{27pt plus 6pt minus 8pt}{14pt plus 6pt minus 8pt}%%
{\center\normalfont\bfseries}}
% \subsubsection ne remplace rien, mais sert pour la biblio
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
{18pt plus 6pt minus 8pt}{14pt plus 6pt minus 8pt}%%
{\center\normalfont}}
% \paragraph remplace \sect
\renewcommand\paragraph{\@startsection{paragraph}{4}{\parindent}%
{3mm}{-.33em}{\normalfont\bfseries}}
% \paragraphc ne remplace rien
\newcommand\paragraphc{\@startsection{paragraph}{4}{\parindent}%
{3mm}{1sp}{\normalfont\bfseries}}
% \subparagraph remplace \ssection ?
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
{3mm}{-.3em}{\normalfont\scshape}}
% \subparagraphc remplace \ssect ?
\newcommand{\subparagraphc}{\@startsection{subparagraph}{5}{\parindent}%
{3mm}{1sp}{\normalfont\scshape}}
\renewcommand{\@seccntformat}[1]{\csname the#1\endcsname .\hspace{0.5em}\ignorespaces}
\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{3}
\def\TOCNoIndent{\hbox to 2.6em}
\AtBeginDocument{\pdfstringdefDisableCommands{\let\TOCNoIndent\relax}{}}
\let\tocsubsection\tocsection
\let\tocsubsubsection\tocsection
\def\l@section{\@tocline{1}{0pt}{\abstractmargin}{1em}{}}
\def\l@subsection{\@tocline{2}{0pt}{\abstractmargin}{1em}{}}
\def\l@subsubsection{\@tocline{3}{0pt}{\abstractmargin}{1em}{}}
% \renewcommand{\tocsection}[3]{%
%   \indentlabel{\@ifnotempty{#2}{\ignorespaces#1 #2.\quad}}#3}

%-----------------------------------------------------------------------
%% Biblio
%% Un peu autoritaire !
\AtBeginDocument{\bibliographystyle{amsalpha+eid}%
\def\bibliographystyle#1{\typeout{^^JThe bibliography style has already been assigned
by the AHL class file, the command bibliographystyle in the current file will be ignored.%
^^J}}
\if@francais
\def\Refname{BIBLIOGRAPHIE}%
\def\refname{Bibliographie}%
\else
\def\Refname{BIBLIOGRAPHY}%
\def\refname{Bibliography}%
\fi}
\newcommand\refnamefont{\normalfont}
\renewcommand{\@bibtitlestyle}{%
  \par\removelastskip\vskip\z@skip
   \@startsection{}\@M\z@{18pt plus 6pt minus 8pt}{14pt plus 6pt minus 8pt}%%
{\centering\refnamefont}{\Refname}%
     \phantomsection\addcontentsline{toc}{section}{\protect\tocsection {}{}{\refname}}%
}
\bibitemsep\smallskipamount
%% ToC
\let\tableofcontentsfontsize\footnotesize
\def\tableofcontents{%
  \begingroup
  \par\removelastskip\vskip\z@skip
   \@startsection{}\@M\z@{18pt plus 6pt minus 8pt}{14pt plus 6pt minus 8pt}%%
  {\centering\contentsnamefont}{\contentsname}%
  \makeatletter
  \sloppy\tableofcontentsfontsize
  \@input{\jobname.toc}%
  \if@filesw
    \@xp\newwrite\csname tf@toc\endcsname
    \immediate\@xp\openout\csname tf@toc\endcsname \jobname.toc\relax
  \fi
  \global\@nobreakfalse \endgroup
  \addvspace{32\p@\@plus14\p@}%
  \let\tableofcontents\relax
}

%--------------------------------------------------------------------------
%% Th\'eor\`emes
\OneNumberAllTheorems
\def\th@plain{%
  \thm@bodyfont{\normalfont\slshape}
  \thm@headfont{\normalfont\scshape}
  \thm@notefont{\normalfont}
  \thm@headpunct{\pointir}
%  \let\thmheadnl\relax
%  \let\thm@swap\@gobble
  \thm@headsep 0\p@\relax
  \let\thm@indent\indent
  \def\thm@space@setup{%
    \thm@preskip=\smallskipamount
    \thm@postskip=\thm@preskip}
  \ifdefined\@add@frontmatter\else\slshape\fi
}
\def\th@remark{%
  \thm@bodyfont{\normalfont}
  \thm@headfont{\normalfont\slshape}
  \thm@notefont{\normalfont\slshape}
  \thm@headpunct{\pointir}
  \let\thm@indent\indent
  \def\thm@space@setup{%
    \thm@preskip=\smallskipamount
    \thm@postskip=\thm@preskip}%
}
\let\th@definition\th@plain

%%�noms suppl.
\equalenv{lem}{lemm}
\equalenv{rem}{rema}
\equalenv{cor}{coro}
\equalenv{deftn}{defi}
\equalenv{defn}{defi}

%--------------------------------------------------------------------------
% Preuves
%\def\proofheadfont{\slshape}
\renewenvironment{proof}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep\smallskipamount
  \trivlist
  \item\hskip\parindent
        \slshape
        #1\@addpunct{\pointir}\ignorespaces\normalfont
}{%
  \popQED\endtrivlist\@endpefalse
}
\newenvironment{proofc}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep\smallskipamount
  \trivlist
  \item\hskip\parindent
        \slshape
        #1\@addpunct{.}\ignorespaces\nobreak\par\normalfont
}{%
  \popQED\endtrivlist\@endpefalse
}
%
%--------------------------------------------------------------------------
%% Floats
\def\@captionheadfont{\slshape}
\def\@captionfont{\slshape}
\newskip\abovecaptionskip \abovecaptionskip=12pt \relax
\newskip\belowcaptionskip \belowcaptionskip=12pt \relax
\newdimen\captionindent \captionindent=\normalparindent
%% Page de garde
\if@francais
\def\proofsname{\'Epreuves}
\else
\def\proofsname{Proofs}
\fi
\ifcdr@epreuves
\RequirePackage{eso-pic}
\definecolor{grisclair}{gray}{.85}
\fi

\let\C\relax

\ifcdr@sommaire
\def\lastname#1{\MakeUppercase{#1}}
\def\junior#1{\unskip, #1}%
\advance\@titlebotskip7mm
\renewcommand{\@pnumwidth}{4.5em}
\def\enddoc@text{}
\newcommand\SomLine[9]{%
  \par \addpenalty\@secpenalty\addvspace{\medskipamount}%
    \begingroup\def\\{\allowbreak}%
	\hyphenpenalty50
    \parindent-\normalparindent \leftskip\normalparindent\relax
    \rightskip\@pnumwidth% plus6em
	 \parfillskip-\@pnumwidth
    \ignorespaces#2\unskip\pointir\ignorespaces\if@francais#5\else#4\fi\unskip\leavevmode
    \nobreak\hskip2pt\nobreak \leaders\hbox{$\m@th \mkern 1.5mu\hbox{.}\mkern
      1.5mu$}\hfill \nobreak
     \hb@xt@\@pnumwidth{\@tocpagenum{\ignorespaces#8\unskip-\ignorespaces#9\unskip}}%
     \par\nobreak\vskip6pt%
    \endgroup
    \begingroup\parindent\normalparindent\parskip\z@
	\leftskip2.4em\footnotesize\ignorespaces\if@francais#7\else#6\fi\unskip\par
    \endgroup
}
\fi

\ifcdr@volume
\def\@makefront{\cleardoublepage}

\def\enddoc@text{}
\fi

\RequirePackage{pict2e}
\def\cdr@includearticleafter{1}

159 KB — too long to show here. It arrives with the project.

% Add the option ``french'' if the article is in French
% Remove the option ``Unicode'' if your file is latin1-encoded
\documentclass[AHL,longabstracts,Unicode,manuscript]{cedram}

\datereceived{2013-11-26}
\daterevised{2015-09-08}
\dateaccepted{2016-07-15}

\editor{H. Lebesgue}
% Uncomment next line if the editor is a woman
% \womandeditor

\DOI{10.NNNN/ahl.XXXX}



% All standard abbreviations for theorems or lemmas are normally already
% present. If yours is missing, add it here (do not change ``cdrthm'')
\AtBeginDocument{
\newtheorem{myname}[cdrthm]{My beautiful theorem}
}



\author[\initial{S.} \lastname{One}]{\firstname{Some} \lastname{One}}
\address{Laboratoire de Math\'ematiques de Bretagne Atlantique,
LMBA / UMR 6205,
6 avenue Le Gorgeu,
CS 93837,
29238 Brest Cedex 3}
\email{[email protected]}


\author[\initial{P.} \lastname{Dupont}]{\firstname{Pierre} \lastname{Dupont}}
\address{Universit\'e Rennes 1,
IRMAR / UFR Math,
Campus de Beaulieu,
35042 Rennes Cedex}
\email{[email protected]}



\title[A short title]{Your paper}
\alttitle{Version longue du titre, mais en fran\c{c}ais}

\begin{abstract}We prove a wonderful theorem. Yes, really wonderful, but the
details would not fit in this abstract
\end{abstract}

\begin{altabstract}
Dans le r\'esum\'e en fran\c{c}ais, les d\'etails ne rentrent pas plus, mais ce n'est pas
pour cela qu'il faut s'en dispenser
\end{altabstract}

%% Mathematical subject classification (2020)
\subjclass{53C28, 53C26, 32Q45}
\keywords{Riemann hypothesis, $P=NP$}
\thanks{The authors would like to thank the CEDRAM.}

\begin{document}

\maketitle

\section{Introduction}

Bla bla bla

\begin{thm}
\label{main_thm}
This is my main theorem.
\end{thm}

\section{Proof}

\subsection{First main lemma}

\begin{lemm}
This is the main lemma
\end{lemm}

\begin{proof}[Proof of Theorem~\ref{main_thm}]
Very nice proof.
\end{proof}

And then I type a lot of things because I want my article to be memorable and
also at least 2 pages long to check that page breaks are also fine.


\bibliography{mybibfile}

\end{document}