diff --git a/recherches/ALDLoverAB/ABAL.pdf b/recherches/ALDLoverAB/ABAL.pdf new file mode 100644 index 0000000..66b9554 Binary files /dev/null and b/recherches/ALDLoverAB/ABAL.pdf differ diff --git a/recherches/ALDLoverAB/algo/index.tex b/recherches/ALDLoverAB/algo/index.tex new file mode 100644 index 0000000..4c882e3 --- /dev/null +++ b/recherches/ALDLoverAB/algo/index.tex @@ -0,0 +1,46 @@ +We define $k$ as the id of the round \\ +the $getMax(..)$ function able to return the highest round played in the system. + +\begin{algorithm}[H] +\DontPrintSemicolon +\SetAlgoLined +\KwIn{le message $m$} +\BlankLine +\While{true}{ + proves = READ() \\ + k = getMax(dump) + 1 \\ + APPEND(k || m) \\ + \If{PROVE(k)}{ + APPEND(k) \\ + return + } +} +\caption{AB\_Broadcast} +\end{algorithm} + +We define $k\_max$ as an intager \\ +$getMax(..)$ function able to return the highest round played in the system. \\ +% $proves_r$ as the sub set of proves with only the valid proves associated to the round r \\ +$proves_r \subseteq proves$ s.a. $\forall PROVE(x) \in proves_r$, x is in the form $r || m$ with $m$ who cannot be empty \\ +$proves_r^i$ is the $PROVE(r || m )$ operation submited by the process i if exist \\ + +\begin{algorithm}[H] + \DontPrintSemicolon + \SetAlgoLined + \BlankLine + \While{true}{ + proves = READ() \\ + k\_max = getMax(proves) \\ + \For{r=k+1 \emph{\KwTo} k\_max}{ + APPEND(r)\\ + $proves_r$ = \{$\forall i, PROVE(r)_i \in READ()$\} \\ + \For{i = 1 \emph{\KwTo} $|P|$}{ + \If{$\exists PROVE(r)_i \in proves_r$}{ + AB\_Recv($m$ s.t. $PROVE(r || m) \in proves$) + } + } + } + } + + \caption{AB\_Listen} +\end{algorithm} \ No newline at end of file diff --git a/recherches/ALDLoverAB/intro/index.tex b/recherches/ALDLoverAB/intro/index.tex new file mode 100644 index 0000000..81a78a7 --- /dev/null +++ b/recherches/ALDLoverAB/intro/index.tex @@ -0,0 +1,61 @@ + +\subsubsection{Model Properties} + +The model is defined as Message-passing Aysnchronous. \\ +There is n process. Each process is associated to a unique unforgeable id $i$.\\ +Each process know the identity of all the process in the system\\ +Each process have a reliable communication channel with all the others process such as: +\begin{itemize} + \item send(m) is the send primitive + \item recv(m) is the reception primitive +\end{itemize} +A message send is eventualy received\\ +The system is Crash-Prone. There is at most f process who can crash such as f < n.\\ + + +\subsubsection{AtomicBroadcast Properties} + +\begin{theorem}{AB\_broadcast Validity} + if a message is sent by a correct process, the message is eventually received by all the correct process. +\end{theorem} + +\begin{theorem}{AB\_receive Validity} + if a message is received by a correct process, the message is eventually received by all the correct process. +\end{theorem} + +\begin{theorem}{AB\_receive safety No creation} + if a message is received by a correct process, the message was emitted by a correct porcess. +\end{theorem} + +\begin{theorem}{AB\_receive safety No duplication} + each message is received at most 1 time by each process. +\end{theorem} + +\begin{theorem}{AB\_receive safety Ordering} + $\forall m_1, m_2$ two messages, $\forall p_i, p_j$ two process. \\ + if AB\_recv(m1) and AB\_recv(m2) for $p_i, p_j$ \\ + and AB\_recv(m1) is before AB\_recv(m2) for $p_i$ \\ + so AB\_recv(m1) is before AB\_recv(m2) for $p_j$ \\ +\end{theorem} + + + +\subsubsection{DenyList Properties} + +\begin{theorem}{APPEND Validity} + a APPEND(x) is valid iff the process p who sent the operation is such as $p \in \Pi_M$. + And iff $x \in S$ where S is a set of valid values. +\end{theorem} + +\begin{theorem}{PROVE Validity} + a PROVE(x) is valid iff the process $p$ who sent the operation is such as $p \in \Pi_V$. + And iff $\exists$ APPEND(x) who appears before PROVE(x) in Seq. +\end{theorem} + +\begin{theorem}{PROGRESS} + if an APPEND(x) is invoked, so there is a point in the linearization of the operations such as all PROVE(x) are valids. +\end{theorem} + +\begin{theorem}{READ Validity} + READ() return a list of tuples who is a random permutation of all valids PROVE() associated to the identity of the emiter process. +\end{theorem} \ No newline at end of file diff --git a/recherches/ALDLoverAB/main.aux b/recherches/ALDLoverAB/main.aux new file mode 100644 index 0000000..8a52018 --- /dev/null +++ b/recherches/ALDLoverAB/main.aux @@ -0,0 +1,20 @@ +\relax +\providecommand \babel@aux [2]{\global \let \babel@toc \@gobbletwo } +\@nameuse{bbl@beforestart} +\catcode `:\active +\catcode `;\active +\catcode `!\active +\catcode `?\active +\abx@aux@refcontext{nty/global//global/global/global} +\providecommand \oddpage@label [2]{} +\babel@aux{french}{} +\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Model}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.1}Model Properties}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.2}AtomicBroadcast Properties}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.3}DenyList Properties}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Algorithms}{1}{}\protected@file@percent } +\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces AB\_Broadcast}}{2}{}\protected@file@percent } +\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces AB\_Listen}}{2}{}\protected@file@percent } +\abx@aux@read@bbl@mdfivesum{76D65A242EC496C9B4361AF646FF12CB} +\gdef \@abspage@last{3} diff --git a/recherches/ALDLoverAB/main.bbl b/recherches/ALDLoverAB/main.bbl new file mode 100644 index 0000000..1b062e4 --- /dev/null +++ b/recherches/ALDLoverAB/main.bbl @@ -0,0 +1,20 @@ +% $ biblatex auxiliary file $ +% $ biblatex bbl format version 3.3 $ +% Do not modify the above lines! +% +% This is an auxiliary file used by the 'biblatex' package. +% This file may safely be deleted. It will be recreated by +% biber as required. +% +\begingroup +\makeatletter +\@ifundefined{ver@biblatex.sty} + {\@latex@error + {Missing 'biblatex' package} + {The bibliography requires the 'biblatex' package.} + \aftergroup\endinput} + {} +\endgroup + +\endinput + diff --git a/recherches/ALDLoverAB/main.bbl-SAVE-ERROR b/recherches/ALDLoverAB/main.bbl-SAVE-ERROR new file mode 100644 index 0000000..1b062e4 --- /dev/null +++ b/recherches/ALDLoverAB/main.bbl-SAVE-ERROR @@ -0,0 +1,20 @@ +% $ biblatex auxiliary file $ +% $ biblatex bbl format version 3.3 $ +% Do not modify the above lines! +% +% This is an auxiliary file used by the 'biblatex' package. +% This file may safely be deleted. It will be recreated by +% biber as required. +% +\begingroup +\makeatletter +\@ifundefined{ver@biblatex.sty} + {\@latex@error + {Missing 'biblatex' package} + {The bibliography requires the 'biblatex' package.} + \aftergroup\endinput} + {} +\endgroup + +\endinput + diff --git a/recherches/ALDLoverAB/main.bcf b/recherches/ALDLoverAB/main.bcf new file mode 100644 index 0000000..f084873 --- /dev/null +++ b/recherches/ALDLoverAB/main.bcf @@ -0,0 +1,2416 @@ + + + + + + output_encoding + utf8 + + + input_encoding + utf8 + + + debug + 0 + + + mincrossrefs + 2 + + + minxrefs + 2 + + + sortcase + 1 + + + sortupper + 1 + + + + + + + alphaothers + + + + + extradatecontext + labelname + labeltitle + + + labelalpha + 0 + + + labelnamespec + shortauthor + author + shorteditor + editor + translator + + + labeltitle + 0 + + + labeltitlespec + shorttitle + title + maintitle + + + labeltitleyear + 0 + + + labeldateparts + 0 + + + labeldatespec + date + year + eventdate + origdate + urldate + nodate + + + julian + 0 + + + gregorianstart + 1582-10-15 + + + maxalphanames + 3 + + + maxbibnames + 3 + + + maxcitenames + 3 + + + maxsortnames + 3 + + + maxitems + 3 + + + minalphanames + 1 + + + minbibnames + 1 + + + mincitenames + 1 + + + minsortnames + 1 + + + minitems + 1 + + + nohashothers + 0 + + + noroman + 0 + + + nosortothers + 0 + + + pluralothers + 0 + + + singletitle + 0 + + + skipbib + 0 + + + skipbiblist + 0 + + + skiplab + 0 + + + sortalphaothers + + + + + sortlocale + french + + + sortingtemplatename + nty + + + sortsets + 0 + + + uniquelist + false + + + uniquename + false + + + uniqueprimaryauthor + 0 + + + uniquetitle + 0 + + + uniquebaretitle + 0 + + + uniquework + 0 + + + useprefix + 0 + + + useafterword + 1 + + + useannotator + 1 + + + useauthor + 1 + + + usebookauthor + 1 + + + usecommentator + 1 + + + useeditor + 1 + + + useeditora + 1 + + + useeditorb + 1 + + + useeditorc + 1 + + + useforeword + 1 + + + useholder + 1 + + + useintroduction + 1 + + + usenamea + 1 + + + usenameb + 1 + + + usenamec + 1 + + + usetranslator + 0 + + + useshortauthor + 1 + + + useshorteditor + 1 + + + + + + extradatecontext + labelname + labeltitle + + + labelalpha + 0 + + + labelnamespec + shortauthor + author + shorteditor + editor + translator + + + labeltitle + 0 + + + labeltitlespec + shorttitle + title + maintitle + + + labeltitleyear + 0 + + + labeldateparts + 0 + + + labeldatespec + date + year + eventdate + origdate + urldate + nodate + + + maxalphanames + 3 + + + maxbibnames + 3 + + + maxcitenames + 3 + + + maxsortnames + 3 + + + maxitems + 3 + + + minalphanames + 1 + + + minbibnames + 1 + + + mincitenames + 1 + + + minsortnames + 1 + + + minitems + 1 + + + nohashothers + 0 + + + noroman + 0 + + + nosortothers + 0 + + + singletitle + 0 + + + skipbib + 0 + + + skipbiblist + 0 + + + skiplab + 0 + + + uniquelist + false + + + uniquename + false + + + uniqueprimaryauthor + 0 + + + uniquetitle + 0 + + + uniquebaretitle + 0 + + + uniquework + 0 + + + useprefix + 0 + + + useafterword + 1 + + + useannotator + 1 + + + useauthor + 1 + + + usebookauthor + 1 + + + usecommentator + 1 + + + useeditor + 1 + + + useeditora + 1 + + + useeditorb + 1 + + + useeditorc + 1 + + + useforeword + 1 + + + useholder + 1 + + + useintroduction + 1 + + + usenamea + 1 + + + usenameb + 1 + + + usenamec + 1 + + + usetranslator + 0 + + + useshortauthor + 1 + + + useshorteditor + 1 + + + + + datamodel + labelalphanametemplate + labelalphatemplate + inheritance + translit + uniquenametemplate + namehashtemplate + sortingnamekeytemplate + sortingtemplate + extradatespec + extradatecontext + labelnamespec + labeltitlespec + labeldatespec + controlversion + alphaothers + sortalphaothers + presort + texencoding + bibencoding + sortingtemplatename + sortlocale + language + autolang + langhook + indexing + hyperref + backrefsetstyle + block + pagetracker + citecounter + citetracker + ibidtracker + idemtracker + opcittracker + loccittracker + labeldate + labeltime + dateera + date + time + eventdate + eventtime + origdate + origtime + urldate + urltime + alldatesusetime + alldates + alltimes + gregorianstart + autocite + notetype + uniquelist + uniquename + refsection + refsegment + citereset + sortlos + babel + datelabel + backrefstyle + arxiv + familyinits + giveninits + prefixinits + suffixinits + useafterword + useannotator + useauthor + usebookauthor + usecommentator + useeditor + useeditora + useeditorb + useeditorc + useforeword + useholder + useintroduction + usenamea + usenameb + usenamec + usetranslator + useshortauthor + useshorteditor + debug + loadfiles + safeinputenc + sortcase + sortupper + terseinits + abbreviate + dateabbrev + clearlang + sortcites + sortsets + backref + backreffloats + trackfloats + parentracker + labeldateusetime + datecirca + dateuncertain + dateusetime + eventdateusetime + origdateusetime + urldateusetime + julian + datezeros + timezeros + timezones + seconds + autopunct + punctfont + labelnumber + labelalpha + labeltitle + labeltitleyear + labeldateparts + pluralothers + nohashothers + nosortothers + noroman + singletitle + uniquetitle + uniquebaretitle + uniquework + uniqueprimaryauthor + defernumbers + locallabelwidth + bibwarn + useprefix + skipbib + skipbiblist + skiplab + dataonly + defernums + firstinits + sortfirstinits + sortgiveninits + labelyear + isbn + url + doi + eprint + related + subentry + bibtexcaseprotection + mincrossrefs + minxrefs + maxnames + minnames + maxbibnames + minbibnames + maxcitenames + mincitenames + maxsortnames + minsortnames + maxitems + minitems + maxalphanames + minalphanames + maxparens + dateeraauto + + + alphaothers + sortalphaothers + presort + indexing + citetracker + ibidtracker + idemtracker + opcittracker + loccittracker + uniquelist + uniquename + familyinits + giveninits + prefixinits + suffixinits + useafterword + useannotator + useauthor + usebookauthor + usecommentator + useeditor + useeditora + useeditorb + useeditorc + useforeword + useholder + useintroduction + usenamea + usenameb + usenamec + usetranslator + useshortauthor + useshorteditor + terseinits + abbreviate + dateabbrev + clearlang + labelnumber + labelalpha + labeltitle + labeltitleyear + labeldateparts + nohashothers + nosortothers + noroman + singletitle + uniquetitle + uniquebaretitle + uniquework + uniqueprimaryauthor + useprefix + skipbib + skipbiblist + skiplab + dataonly + skiplos + labelyear + isbn + url + doi + eprint + related + subentry + bibtexcaseprotection + labelalphatemplate + translit + sortexclusion + sortinclusion + extradatecontext + labelnamespec + labeltitlespec + labeldatespec + maxnames + minnames + maxbibnames + minbibnames + maxcitenames + mincitenames + maxsortnames + minsortnames + maxitems + minitems + maxalphanames + minalphanames + + + noinherit + nametemplates + labelalphanametemplatename + uniquenametemplatename + namehashtemplatename + sortingnamekeytemplatename + presort + indexing + citetracker + ibidtracker + idemtracker + opcittracker + loccittracker + uniquelist + uniquename + familyinits + giveninits + prefixinits + suffixinits + useafterword + useannotator + useauthor + usebookauthor + usecommentator + useeditor + useeditora + useeditorb + useeditorc + useforeword + useholder + useintroduction + usenamea + usenameb + usenamec + usetranslator + useshortauthor + useshorteditor + terseinits + abbreviate + dateabbrev + clearlang + labelnumber + labelalpha + labeltitle + labeltitleyear + labeldateparts + nohashothers + nosortothers + noroman + singletitle + uniquetitle + uniquebaretitle + uniquework + uniqueprimaryauthor + useprefix + skipbib + skipbiblist + skiplab + dataonly + skiplos + isbn + url + doi + eprint + related + subentry + bibtexcaseprotection + maxnames + minnames + maxbibnames + minbibnames + maxcitenames + mincitenames + maxsortnames + minsortnames + maxitems + minitems + maxalphanames + minalphanames + + + nametemplates + labelalphanametemplatename + uniquenametemplatename + namehashtemplatename + sortingnamekeytemplatename + uniquelist + uniquename + familyinits + giveninits + prefixinits + suffixinits + terseinits + nohashothers + nosortothers + useprefix + + + nametemplates + labelalphanametemplatename + uniquenametemplatename + namehashtemplatename + sortingnamekeytemplatename + uniquename + familyinits + giveninits + prefixinits + suffixinits + terseinits + useprefix + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + prefix + family + + + + + shorthand + label + labelname + labelname + + + year + + + + + + labelyear + year + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + prefix + family + given + + + + family + given + prefix + suffix + + + + + prefix + family + + + given + + + suffix + + + prefix + + + mm + + + + sf,sm,sn,pf,pm,pn,pp + family,given,prefix,suffix + boolean,integer,string,xml + default,transliteration,transcription,translation + + + article + artwork + audio + bibnote + book + bookinbook + booklet + collection + commentary + customa + customb + customc + customd + custome + customf + dataset + inbook + incollection + inproceedings + inreference + image + jurisdiction + legal + legislation + letter + manual + misc + movie + music + mvcollection + mvreference + mvproceedings + mvbook + online + patent + performance + periodical + proceedings + reference + report + review + set + software + standard + suppbook + suppcollection + suppperiodical + thesis + unpublished + video + xdata + + + sortyear + volume + volumes + abstract + addendum + annotation + booksubtitle + booktitle + booktitleaddon + chapter + edition + eid + entrysubtype + eprintclass + eprinttype + eventtitle + eventtitleaddon + gender + howpublished + indexsorttitle + indextitle + isan + isbn + ismn + isrn + issn + issue + issuesubtitle + issuetitle + issuetitleaddon + iswc + journalsubtitle + journaltitle + journaltitleaddon + label + langid + langidopts + library + mainsubtitle + maintitle + maintitleaddon + nameaddon + note + number + origtitle + pagetotal + part + relatedstring + relatedtype + reprinttitle + series + shorthandintro + subtitle + title + titleaddon + usera + userb + userc + userd + usere + userf + venue + version + shorthand + shortjournal + shortseries + shorttitle + sorttitle + sortshorthand + sortkey + presort + institution + lista + listb + listc + listd + liste + listf + location + organization + origlocation + origpublisher + publisher + afterword + annotator + author + bookauthor + commentator + editor + editora + editorb + editorc + foreword + holder + introduction + namea + nameb + namec + translator + shortauthor + shorteditor + sortname + authortype + editoratype + editorbtype + editorctype + editortype + bookpagination + nameatype + namebtype + namectype + pagination + pubstate + type + language + origlanguage + crossref + xref + date + endyear + year + month + day + hour + minute + second + timezone + yeardivision + endmonth + endday + endhour + endminute + endsecond + endtimezone + endyeardivision + eventdate + eventendyear + eventyear + eventmonth + eventday + eventhour + eventminute + eventsecond + eventtimezone + eventyeardivision + eventendmonth + eventendday + eventendhour + eventendminute + eventendsecond + eventendtimezone + eventendyeardivision + origdate + origendyear + origyear + origmonth + origday + orighour + origminute + origsecond + origtimezone + origyeardivision + origendmonth + origendday + origendhour + origendminute + origendsecond + origendtimezone + origendyeardivision + urldate + urlendyear + urlyear + urlmonth + urlday + urlhour + urlminute + urlsecond + urltimezone + urlyeardivision + urlendmonth + urlendday + urlendhour + urlendminute + urlendsecond + urlendtimezone + urlendyeardivision + doi + eprint + file + verba + verbb + verbc + url + xdata + ids + entryset + related + keywords + options + relatedoptions + pages + execute + + + abstract + annotation + authortype + bookpagination + crossref + day + doi + eprint + eprintclass + eprinttype + endday + endhour + endminute + endmonth + endsecond + endtimezone + endyear + endyeardivision + entryset + entrysubtype + execute + file + gender + hour + ids + indextitle + indexsorttitle + isan + ismn + iswc + keywords + label + langid + langidopts + library + lista + listb + listc + listd + liste + listf + minute + month + namea + nameb + namec + nameatype + namebtype + namectype + nameaddon + options + origday + origendday + origendhour + origendminute + origendmonth + origendsecond + origendtimezone + origendyear + origendyeardivision + orighour + origminute + origmonth + origsecond + origtimezone + origyear + origyeardivision + origlocation + origpublisher + origtitle + pagination + presort + related + relatedoptions + relatedstring + relatedtype + second + shortauthor + shorteditor + shorthand + shorthandintro + shortjournal + shortseries + shorttitle + sortkey + sortname + sortshorthand + sorttitle + sortyear + timezone + url + urlday + urlendday + urlendhour + urlendminute + urlendmonth + urlendsecond + urlendtimezone + urlendyear + urlhour + urlminute + urlmonth + urlsecond + urltimezone + urlyear + usera + userb + userc + userd + usere + userf + verba + verbb + verbc + xdata + xref + year + yeardivision + + + set + entryset + + + article + addendum + annotator + author + commentator + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + eid + issn + issue + issuetitle + issuesubtitle + issuetitleaddon + journalsubtitle + journaltitle + journaltitleaddon + language + note + number + origlanguage + pages + pubstate + series + subtitle + title + titleaddon + translator + version + volume + + + bibnote + note + + + book + author + addendum + afterword + annotator + chapter + commentator + edition + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + eid + foreword + introduction + isbn + language + location + maintitle + maintitleaddon + mainsubtitle + note + number + origlanguage + pages + pagetotal + part + publisher + pubstate + series + subtitle + title + titleaddon + translator + volume + volumes + + + mvbook + addendum + afterword + annotator + author + commentator + edition + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + foreword + introduction + isbn + language + location + note + number + origlanguage + pagetotal + publisher + pubstate + series + subtitle + title + titleaddon + translator + volume + volumes + + + inbook + bookinbook + suppbook + addendum + afterword + annotator + author + booktitle + bookauthor + booksubtitle + booktitleaddon + chapter + commentator + edition + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + eid + foreword + introduction + isbn + language + location + mainsubtitle + maintitle + maintitleaddon + note + number + origlanguage + part + publisher + pages + pubstate + series + subtitle + title + titleaddon + translator + volume + volumes + + + booklet + addendum + author + chapter + editor + editortype + eid + howpublished + language + location + note + pages + pagetotal + pubstate + subtitle + title + titleaddon + type + + + collection + reference + addendum + afterword + annotator + chapter + commentator + edition + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + eid + foreword + introduction + isbn + language + location + mainsubtitle + maintitle + maintitleaddon + note + number + origlanguage + pages + pagetotal + part + publisher + pubstate + series + subtitle + title + titleaddon + translator + volume + volumes + + + mvcollection + mvreference + addendum + afterword + annotator + author + commentator + edition + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + foreword + introduction + isbn + language + location + note + number + origlanguage + publisher + pubstate + subtitle + title + titleaddon + translator + volume + volumes + + + incollection + suppcollection + inreference + addendum + afterword + annotator + author + booksubtitle + booktitle + booktitleaddon + chapter + commentator + edition + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + eid + foreword + introduction + isbn + language + location + mainsubtitle + maintitle + maintitleaddon + note + number + origlanguage + pages + part + publisher + pubstate + series + subtitle + title + titleaddon + translator + volume + volumes + + + dataset + addendum + author + edition + editor + editortype + language + location + note + number + organization + publisher + pubstate + series + subtitle + title + titleaddon + type + version + + + manual + addendum + author + chapter + edition + editor + editortype + eid + isbn + language + location + note + number + organization + pages + pagetotal + publisher + pubstate + series + subtitle + title + titleaddon + type + version + + + misc + software + addendum + author + editor + editortype + howpublished + language + location + note + organization + pubstate + subtitle + title + titleaddon + type + version + + + online + addendum + author + editor + editortype + language + note + organization + pubstate + subtitle + title + titleaddon + version + + + patent + addendum + author + holder + location + note + number + pubstate + subtitle + title + titleaddon + type + version + + + periodical + addendum + editor + editora + editorb + editorc + editortype + editoratype + editorbtype + editorctype + issn + issue + issuesubtitle + issuetitle + issuetitleaddon + language + note + number + pubstate + series + subtitle + title + titleaddon + volume + yeardivision + + + mvproceedings + addendum + editor + editortype + eventday + eventendday + eventendhour + eventendminute + eventendmonth + eventendsecond + eventendtimezone + eventendyear + eventendyeardivision + eventhour + eventminute + eventmonth + eventsecond + eventtimezone + eventyear + eventyeardivision + eventtitle + eventtitleaddon + isbn + language + location + note + number + organization + pagetotal + publisher + pubstate + series + subtitle + title + titleaddon + venue + volumes + + + proceedings + addendum + chapter + editor + editortype + eid + eventday + eventendday + eventendhour + eventendminute + eventendmonth + eventendsecond + eventendtimezone + eventendyear + eventendyeardivision + eventhour + eventminute + eventmonth + eventsecond + eventtimezone + eventyear + eventyeardivision + eventtitle + eventtitleaddon + isbn + language + location + mainsubtitle + maintitle + maintitleaddon + note + number + organization + pages + pagetotal + part + publisher + pubstate + series + subtitle + title + titleaddon + venue + volume + volumes + + + inproceedings + addendum + author + booksubtitle + booktitle + booktitleaddon + chapter + editor + editortype + eid + eventday + eventendday + eventendhour + eventendminute + eventendmonth + eventendsecond + eventendtimezone + eventendyear + eventendyeardivision + eventhour + eventminute + eventmonth + eventsecond + eventtimezone + eventyear + eventyeardivision + eventtitle + eventtitleaddon + isbn + language + location + mainsubtitle + maintitle + maintitleaddon + note + number + organization + pages + part + publisher + pubstate + series + subtitle + title + titleaddon + venue + volume + volumes + + + report + addendum + author + chapter + eid + institution + isrn + language + location + note + number + pages + pagetotal + pubstate + subtitle + title + titleaddon + type + version + + + thesis + addendum + author + chapter + eid + institution + language + location + note + pages + pagetotal + pubstate + subtitle + title + titleaddon + type + + + unpublished + addendum + author + eventday + eventendday + eventendhour + eventendminute + eventendmonth + eventendsecond + eventendtimezone + eventendyear + eventendyeardivision + eventhour + eventminute + eventmonth + eventsecond + eventtimezone + eventyear + eventyeardivision + eventtitle + eventtitleaddon + howpublished + language + location + note + pubstate + subtitle + title + titleaddon + type + venue + + + abstract + addendum + afterword + annotator + author + bookauthor + booksubtitle + booktitle + booktitleaddon + chapter + commentator + editor + editora + editorb + editorc + foreword + holder + institution + introduction + issuesubtitle + issuetitle + issuetitleaddon + journalsubtitle + journaltitle + journaltitleaddon + location + mainsubtitle + maintitle + maintitleaddon + nameaddon + note + organization + origlanguage + origlocation + origpublisher + origtitle + part + publisher + relatedstring + series + shortauthor + shorteditor + shorthand + shortjournal + shortseries + shorttitle + sortname + sortshorthand + sorttitle + subtitle + title + titleaddon + translator + venue + + + article + book + inbook + bookinbook + suppbook + booklet + collection + incollection + suppcollection + manual + misc + mvbook + mvcollection + online + patent + periodical + suppperiodical + proceedings + inproceedings + reference + inreference + report + set + thesis + unpublished + + + date + year + + + + + set + + entryset + + + + article + + author + journaltitle + title + + + + book + mvbook + + author + title + + + + inbook + bookinbook + suppbook + + author + title + booktitle + + + + booklet + + + author + editor + + title + + + + collection + reference + mvcollection + mvreference + + editor + title + + + + incollection + suppcollection + inreference + + author + editor + title + booktitle + + + + dataset + + title + + + + manual + + title + + + + misc + software + + title + + + + online + + title + + url + doi + eprint + + + + + patent + + author + title + number + + + + periodical + + editor + title + + + + proceedings + mvproceedings + + title + + + + inproceedings + + author + title + booktitle + + + + report + + author + title + type + institution + + + + thesis + + author + title + type + institution + + + + unpublished + + author + title + + + + + isbn + + + issn + + + ismn + + + gender + + + + + + + sources.bib + + + + + + + presort + + + sortkey + + + sortname + author + editor + translator + sorttitle + title + + + sorttitle + title + + + sortyear + year + + + volume + 0 + + + + + + diff --git a/recherches/ALDLoverAB/main.fdb_latexmk b/recherches/ALDLoverAB/main.fdb_latexmk new file mode 100644 index 0000000..c24580e --- /dev/null +++ b/recherches/ALDLoverAB/main.fdb_latexmk @@ -0,0 +1,97 @@ +# Fdb version 4 +["biber main"] 0 "main.bcf" "main.bbl" "main" 1745574630.97508 -1 + "main.bcf" 1745574630.93019 108486 d8549f9e7d9f09af6a94b466d27b9f55 "pdflatex" + "sources.bib" 1745505510 0 d41d8cd98f00b204e9800998ecf8427e "" + (generated) + "main.bbl" + "main.blg" + (rewritten before read) +["pdflatex"] 1745574630.5147 "/workspaces/containers/recherches/ALDLoverAB/main.tex" "main.pdf" "main" 1745574630.97528 0 + "/usr/local/texlive/2025/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1136849721 2971 def0b6c1f0b107b3b936def894055589 "" + "/usr/local/texlive/2025/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx0700.tfm" 1136768653 3584 ca0c423beaacd28d53ddce5a826cd558 "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm" 1136768653 3584 2d666ecf6d466d8b007246bc2f94d9da "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm" 1136768653 3584 402da0b29eafbad07963b1224b222f18 "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm" 1136768653 3584 13049b61b922a28b158a38aeff75ee9b "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1136768653 3584 adb004a0c8e7c46ee66cad73671f37b4 "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm" 1136768653 3584 f80ddd985bd00e29e9a6047ebd9d4781 "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm" 1136768653 3584 3169d30142b88a27d4ab0e3468e963a2 "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm" 1136768653 3584 3c76ccb63eda935a68ba65ba9da29f1a "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecti1000.tfm" 1136768653 3072 3bce340d4c075dffe6d4ec732b4c32fe "" + "/usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecti1200.tfm" 1136768653 3072 8b5a64dc91775463bc95e2d818524028 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1248133631 36299 5f9df58c2139e7edcf37c8fca4bd384d "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1248133631 36281 c355509802a035cadc5f15869451dcee "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1248133631 35752 024fb6c41858982481f6968b5fc26508 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1248133631 32762 224316ccc9ad3ca0423a14971cfa7fc1 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1248133631 32569 5e5ddc8df908dea60932f3c484a54c0d "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx0700.pfb" 1215737283 144215 c89c56d5c5b828c5c1657b4326c29df7 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx1000.pfb" 1215737283 145408 43d44302ca7d82d487f511f83e309505 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb" 1215737283 140176 d4962f948b4cc0adf4d3dde77a128c95 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb" 1215737283 135942 859a90cad7494a1e79c94baf546d7de5 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1215737283 138258 6525c253f16cededa14c7fd0da7f67b2 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb" 1215737283 136101 f533469f523533d38317ab5729d00c8a "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb" 1215737283 131438 3aa300b3e40e5c8ba7b4e5c6cebc5dd6 "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb" 1215737283 186554 e8f0fa8ca05e038f257a06405232745f "" + "/usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfti1200.pfb" 1215737283 198221 ca5aa71411090ef358a6cc78b7458365 "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/babel-french/french.ldf" 1722030099 66864 5ea28be04c8922f57dc437cc5c1c2c31 "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/babel/babel.sty" 1743197512 144118 8a0145ee10f36c9987d52d114dccd1b1 "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-fr.ini" 1733001190 6315 3c384dcbb287e14a2e736eeb5010b67f "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex" 1711748144 2142 2e5ecc022cd62b6d520b9630cf893dfe "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/babel/txtbabel.def" 1741723514 6833 ef397c732d8c72f527b197aa1623476d "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/iftex/iftex.sty" 1734129479 7984 7dbb9280f03c0a315425f1b4f35d43ee "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1575499628 8356 7bbb2c2373aa810be568c29e333da8ed "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1701727651 17865 1a9bd36b4f98178fa551aca822290953 "" + "/usr/local/texlive/2025/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" 1593379760 20089 80423eac55aa175305d35b49e04fe23b "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty" 1500498588 167160 d91cee26d3ef5727644d2110445741dd "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/base/article.cls" 1738182759 20144 63d8bacaf52e5abf4db3bc322373e1d4 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/base/fontenc.sty" 1738182759 5275 0d62fb62162c7ab056e941ef18c5076d "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/base/ifthen.sty" 1738182759 5525 9dced5929f36b19fa837947f5175b331 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/base/inputenc.sty" 1738182759 5048 0270515b828149155424600fd2d58ac5 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/base/size10.clo" 1738182759 8448 5cf247d4bd0c7d5d711bbbdf111fae2e "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx" 1609451401 1818 9ed166ac0a9204a8ebe450ca09db5dde "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/standard.bbx" 1609451401 25680 409c3f3d570418bc545e8065bebd0688 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.cfg" 1342308459 69 249fa6df04d948e51b6d5c67bea30c42 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.def" 1711143581 96838 228f189cb4020ea9f6d467af8aa859c2 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.sty" 1711143581 533961 a8d65602d822bf3d3c823e6dc4922bbc "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-case-expl3.sty" 1711143581 9961 107fdb78f652fccae7bce0d23bdc19cd "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-compat.def" 1643926307 13919 5426dbe90e723f089052b4e908b56ef9 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-dm.def" 1711143581 32761 18d14e3b502c120f79b2184de4e21d14 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx" 1678141846 4629 cda468e8a0b1cfa0f61872e171037a4b "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/lbx/french.lbx" 1711143581 35297 433adeecf04fccba5dc7668ba5058972 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/carlisle/scalefnt.sty" 1137109962 1360 df2086bf924b14b72d6121fe9502fcdb "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.cfg" 1429144587 7068 06f8d141725d114847527a66439066b6 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.def" 1712263026 22135 0975a49eeaed232aa861e9425ffb2e7c "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.sty" 1712263026 62767 e79d6d7a989e7da62dcf3d0a65c1faee "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1739306980 46850 d87daedc2abdc653769a6f1067849fe0 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/keyval.sty" 1717359999 2671 70891d50dac933918b827d326687c6e8 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" 1666126449 2142 eae42205b97b7a3ad0e58db5fe99e3e6 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1655478651 22555 6d8e155cfef6d82c3d5c742fea7c992e "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" 1665067230 13815 760b0c02f691ea230f5359c4e1de23a7 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1716410060 29785 9f93ab201fe5dd053afcc6c1bcf7d266 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/l3kernel/expl3.sty" 1738271527 6565 f51d809db6193fae7b06c1bc26ca8f75 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" 1724879202 9783 ab4bee47700c04aadedb8da27591b0ab "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.def" 1284153563 1620 fb1c32b818f2058eca187e5c41dfae77 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.sty" 1284153563 6187 b27afc771af565d3a9ff1ca7d16d0d46 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/preprint/authblk.sty" 1368488610 7016 985a983ce041cc8959cd31133cba0244 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/preprint/fullpage.sty" 1137110595 2789 05b418f78b224ec872f5b11081138605 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/relsize/relsize.sty" 1369619135 15542 c4cc3164fe24f2f2fbb06eb71b1da4c4 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/tools/xspace.sty" 1717359999 4545 e3f4de576c914e2000f07f69a891c071 "" + "/usr/local/texlive/2025/texmf-dist/tex/latex/url/url.sty" 1388531844 12796 8edb7d69a20b857904dd0ea757c14ec9 "" + "/usr/local/texlive/2025/texmf-dist/web2c/texmf.cnf" 1739380943 42148 61becc7c670cd061bb319c643c27fdd4 "" + "/usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1743313660 5501089 f2ffe622267f7d8bfaba0244ab87ba6f "" + "/usr/local/texlive/2025/texmf-var/web2c/pdftex/pdflatex.fmt" 1743313810 3345755 ba2ca5aadbc395a8eb3e969a7d392ec2 "" + "/usr/local/texlive/2025/texmf.cnf" 1743313649 455 5b996dcaa0eb4ef14a83b026bc0a008c "" + "/workspaces/containers/recherches/ALDLoverAB/main.tex" 1745569300.58113 728 260366a29ef55ffa4b47d22972e9e4f8 "" + "algo/index.tex" 1745574630.33418 1273 3b61b9dc0dc01e4c5129081738b6a6eb "" + "intro/index.tex" 1745569389.83114 2291 8451d9b4ced1f44c45b59e7619773077 "" + "main.aux" 1745574630.92919 1267 145af77271d4d82823c8622c1004e8b1 "pdflatex" + "main.bbl" 1745511552 466 76d65a242ec496c9b4361af646ff12cb "biber main" + "main.run.xml" 1745574630.93119 2301 7adc9b5a22e7927ebfdd8580ad5d647d "pdflatex" + "main.tex" 1745569300.58113 728 260366a29ef55ffa4b47d22972e9e4f8 "" + (generated) + "main.aux" + "main.bcf" + "main.log" + "main.pdf" + "main.run.xml" + (rewritten before read) diff --git a/recherches/ALDLoverAB/main.fls b/recherches/ALDLoverAB/main.fls new file mode 100644 index 0000000..5ebbc7e --- /dev/null +++ b/recherches/ALDLoverAB/main.fls @@ -0,0 +1,153 @@ +PWD /workspaces/containers/recherches/ALDLoverAB +INPUT /usr/local/texlive/2025/texmf.cnf +INPUT /usr/local/texlive/2025/texmf-dist/web2c/texmf.cnf +INPUT /usr/local/texlive/2025/texmf-var/web2c/pdftex/pdflatex.fmt +INPUT /workspaces/containers/recherches/ALDLoverAB/main.tex +OUTPUT main.log +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/article.cls +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/article.cls +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/fontenc.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/fontenc.sty +INPUT /usr/local/texlive/2025/texmf-dist/fonts/map/fontname/texfonts.map +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/inputenc.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/inputenc.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/etoolbox/etoolbox.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/etoolbox/etoolbox.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/graphics/keyval.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/graphics/keyval.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.cfg +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.cfg +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.cfg +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/babel.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/babel.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/txtbabel.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel-french/french.ldf +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel-french/french.ldf +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel-french/french.ldf +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-fr.ini +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/carlisle/scalefnt.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/carlisle/scalefnt.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/preprint/authblk.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/preprint/authblk.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/preprint/fullpage.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/preprint/fullpage.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/ifthen.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/base/ifthen.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/url/url.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/url/url.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-dm.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-dm.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-dm.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-compat.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-compat.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-compat.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/standard.bbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/standard.bbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/standard.bbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.cfg +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.cfg +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.cfg +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/l3kernel/expl3.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/l3kernel/expl3.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-case-expl3.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-case-expl3.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/l3packages/xparse/xparse.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/l3packages/xparse/xparse.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/tools/xspace.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/tools/xspace.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/relsize/relsize.sty +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/relsize/relsize.sty +INPUT ./main.aux +INPUT ./main.aux +INPUT main.aux +OUTPUT main.aux +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/lbx/french.lbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/lbx/french.lbx +INPUT /usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/lbx/french.lbx +OUTPUT main.bcf +INPUT main.bbl +INPUT ./main.bbl +INPUT ./main.bbl +INPUT ./main.bbl +INPUT main.bbl +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecti1200.tfm +OUTPUT main.pdf +INPUT /usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map +INPUT /usr/local/texlive/2025/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm +INPUT ./intro/index.tex +INPUT ./intro/index.tex +INPUT intro/index.tex +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecti1000.tfm +INPUT ./algo/index.tex +INPUT ./algo/index.tex +INPUT algo/index.tex +INPUT /usr/local/texlive/2025/texmf-dist/fonts/tfm/jknappen/ec/ecbx0700.tfm +INPUT main.aux +INPUT main.run.xml +OUTPUT main.run.xml +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx0700.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx1000.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb +INPUT /usr/local/texlive/2025/texmf-dist/fonts/type1/public/cm-super/sfti1200.pfb diff --git a/recherches/ALDLoverAB/main.log b/recherches/ALDLoverAB/main.log new file mode 100644 index 0000000..39d0b39 --- /dev/null +++ b/recherches/ALDLoverAB/main.log @@ -0,0 +1,496 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.27 (TeX Live 2025) (preloaded format=pdflatex 2025.3.30) 25 APR 2025 09:50 +entering extended mode + restricted \write18 enabled. + file:line:error style messages enabled. + %&-line parsing enabled. +**/workspaces/containers/recherches/ALDLoverAB/main.tex +(/workspaces/containers/recherches/ALDLoverAB/main.tex +LaTeX2e <2024-11-01> patch level 2 +L3 programming layer <2025-01-18> +(/usr/local/texlive/2025/texmf-dist/tex/latex/base/article.cls +Document Class: article 2024/06/29 v1.4n Standard LaTeX document class +(/usr/local/texlive/2025/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2024/06/29 v1.4n Standard LaTeX file (size option) +) +\c@part=\count196 +\c@section=\count197 +\c@subsection=\count198 +\c@subsubsection=\count199 +\c@paragraph=\count266 +\c@subparagraph=\count267 +\c@figure=\count268 +\c@table=\count269 +\abovecaptionskip=\skip49 +\belowcaptionskip=\skip50 +\bibindent=\dimen141 +) (/usr/local/texlive/2025/texmf-dist/tex/latex/base/fontenc.sty +Package: fontenc 2021/04/29 v2.0v Standard LaTeX package +) (/usr/local/texlive/2025/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2024/02/08 v1.3d Input encoding file +\inpenc@prehook=\toks17 +\inpenc@posthook=\toks18 +) (/usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.sty +Package: csquotes 2024-04-04 v5.2o context-sensitive quotations (JAW) + (/usr/local/texlive/2025/texmf-dist/tex/latex/etoolbox/etoolbox.sty +Package: etoolbox 2025/02/11 v2.5l e-TeX tools for LaTeX (JAW) +\etb@tempcnta=\count270 +) (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 2022/05/29 v1.15 key=value parser (DPC) +\KV@toks@=\toks19 +) +\csq@reset=\count271 +\csq@gtype=\count272 +\csq@glevel=\count273 +\csq@qlevel=\count274 +\csq@maxlvl=\count275 +\csq@tshold=\count276 +\csq@ltx@everypar=\toks20 + (/usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.def +File: csquotes.def 2024-04-04 v5.2o csquotes generic definitions (JAW) +) +Package csquotes Info: Trying to load configuration file 'csquotes.cfg'... +Package csquotes Info: ... configuration file loaded successfully. + (/usr/local/texlive/2025/texmf-dist/tex/latex/csquotes/csquotes.cfg +File: csquotes.cfg +)) (/usr/local/texlive/2025/texmf-dist/tex/generic/babel/babel.sty +Package: babel 2025/03/27 v25.6 The multilingual framework for pdfLaTeX, LuaLaTeX and XeLaTeX +\babel@savecnt=\count277 +\U@D=\dimen142 +\l@unhyphenated=\language90 + (/usr/local/texlive/2025/texmf-dist/tex/generic/babel/txtbabel.def) +\bbl@readstream=\read2 +\bbl@dirlevel=\count278 + (/usr/local/texlive/2025/texmf-dist/tex/generic/babel-french/french.ldf +Language: french 2024-07-25 v3.6c French support from the babel system +Package babel Info: Hyphen rules for 'acadian' set to \l@french +(babel) (\language30). Reported on input line 91. +Package babel Info: Hyphen rules for 'canadien' set to \l@french +(babel) (\language30). Reported on input line 92. +\FB@stdchar=\count279 +Package babel Info: Making : an active character on input line 421. +Package babel Info: Making ; an active character on input line 422. +Package babel Info: Making ! an active character on input line 423. +Package babel Info: Making ? an active character on input line 424. +\FBguill@level=\count280 +\FBold@everypar=\toks21 +\FB@Mht=\dimen143 +\mc@charclass=\count281 +\mc@charfam=\count282 +\mc@charslot=\count283 +\std@mcc=\count284 +\dec@mcc=\count285 +\FB@parskip=\dimen144 +\listindentFB=\dimen145 +\descindentFB=\dimen146 +\labelindentFB=\dimen147 +\labelwidthFB=\dimen148 +\leftmarginFB=\dimen149 +\parindentFFN=\dimen150 +\FBfnindent=\dimen151 +)) (/usr/local/texlive/2025/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex +Package babel Info: Importing font and identification data for french +(babel) from babel-fr.ini. Reported on input line 11. +) (/usr/local/texlive/2025/texmf-dist/tex/latex/carlisle/scalefnt.sty) (/usr/local/texlive/2025/texmf-dist/tex/latex/preprint/authblk.sty +Package: authblk 2001/02/27 1.3 (PWD) +\affilsep=\skip51 +\@affilsep=\skip52 +\c@Maxaffil=\count286 +\c@authors=\count287 +\c@affil=\count288 +) (/usr/local/texlive/2025/texmf-dist/tex/latex/preprint/fullpage.sty +Package: fullpage 1999/02/23 1.1 (PWD) +\FP@margin=\skip53 +) (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.sty +Package: biblatex 2024/03/21 v3.20 programmable bibliographies (PK/MW) + (/usr/local/texlive/2025/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO) + (/usr/local/texlive/2025/texmf-dist/tex/generic/infwarerr/infwarerr.sty +Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) +) (/usr/local/texlive/2025/texmf-dist/tex/generic/iftex/iftex.sty +Package: iftex 2024/12/12 v1.0g TeX engine tests +) (/usr/local/texlive/2025/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) +) +Package pdftexcmds Info: \pdf@primitive is available. +Package pdftexcmds Info: \pdf@ifprimitive is available. +Package pdftexcmds Info: \pdfdraftmode found. +) (/usr/local/texlive/2025/texmf-dist/tex/latex/kvoptions/kvoptions.sty +Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) + (/usr/local/texlive/2025/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) +)) (/usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.sty +Package: logreq 2010/08/04 v1.0 xml request logger +\lrq@indent=\count289 + (/usr/local/texlive/2025/texmf-dist/tex/latex/logreq/logreq.def +File: logreq.def 2010/08/04 v1.0 logreq spec v1.0 +)) (/usr/local/texlive/2025/texmf-dist/tex/latex/base/ifthen.sty +Package: ifthen 2024/03/16 v1.1e Standard LaTeX ifthen package (DPC) +) (/usr/local/texlive/2025/texmf-dist/tex/latex/url/url.sty +\Urlmuskip=\muskip17 +Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. +) +\c@tabx@nest=\count290 +\c@listtotal=\count291 +\c@listcount=\count292 +\c@liststart=\count293 +\c@liststop=\count294 +\c@citecount=\count295 +\c@citetotal=\count296 +\c@multicitecount=\count297 +\c@multicitetotal=\count298 +\c@instcount=\count299 +\c@maxnames=\count300 +\c@minnames=\count301 +\c@maxitems=\count302 +\c@minitems=\count303 +\c@citecounter=\count304 +\c@maxcitecounter=\count305 +\c@savedcitecounter=\count306 +\c@uniquelist=\count307 +\c@uniquename=\count308 +\c@refsection=\count309 +\c@refsegment=\count310 +\c@maxextratitle=\count311 +\c@maxextratitleyear=\count312 +\c@maxextraname=\count313 +\c@maxextradate=\count314 +\c@maxextraalpha=\count315 +\c@abbrvpenalty=\count316 +\c@highnamepenalty=\count317 +\c@lownamepenalty=\count318 +\c@maxparens=\count319 +\c@parenlevel=\count320 +\blx@tempcnta=\count321 +\blx@tempcntb=\count322 +\blx@tempcntc=\count323 +\c@blx@maxsection=\count324 +\blx@maxsegment@0=\count325 +\blx@notetype=\count326 +\blx@parenlevel@text=\count327 +\blx@parenlevel@foot=\count328 +\blx@sectionciteorder@0=\count329 +\blx@sectionciteorderinternal@0=\count330 +\blx@entrysetcounter=\count331 +\blx@biblioinstance=\count332 +\labelnumberwidth=\skip54 +\labelalphawidth=\skip55 +\biblabelsep=\skip56 +\bibitemsep=\skip57 +\bibnamesep=\skip58 +\bibinitsep=\skip59 +\bibparsep=\skip60 +\bibhang=\skip61 +\blx@bcfin=\read3 +\blx@bcfout=\write3 +\blx@langwohyphens=\language91 +\c@mincomprange=\count333 +\c@maxcomprange=\count334 +\c@mincompwidth=\count335 +Package biblatex Info: Trying to load biblatex default data model... +Package biblatex Info: ... file 'blx-dm.def' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-dm.def +File: blx-dm.def 2024/03/21 v3.20 biblatex datamodel (PK/MW) +) +Package biblatex Info: Trying to load biblatex custom data model... +Package biblatex Info: ... file 'biblatex-dm.cfg' not found. +\c@afterword=\count336 +\c@savedafterword=\count337 +\c@annotator=\count338 +\c@savedannotator=\count339 +\c@author=\count340 +\c@savedauthor=\count341 +\c@bookauthor=\count342 +\c@savedbookauthor=\count343 +\c@commentator=\count344 +\c@savedcommentator=\count345 +\c@editor=\count346 +\c@savededitor=\count347 +\c@editora=\count348 +\c@savededitora=\count349 +\c@editorb=\count350 +\c@savededitorb=\count351 +\c@editorc=\count352 +\c@savededitorc=\count353 +\c@foreword=\count354 +\c@savedforeword=\count355 +\c@holder=\count356 +\c@savedholder=\count357 +\c@introduction=\count358 +\c@savedintroduction=\count359 +\c@namea=\count360 +\c@savednamea=\count361 +\c@nameb=\count362 +\c@savednameb=\count363 +\c@namec=\count364 +\c@savednamec=\count365 +\c@translator=\count366 +\c@savedtranslator=\count367 +\c@shortauthor=\count368 +\c@savedshortauthor=\count369 +\c@shorteditor=\count370 +\c@savedshorteditor=\count371 +\c@labelname=\count372 +\c@savedlabelname=\count373 +\c@institution=\count374 +\c@savedinstitution=\count375 +\c@lista=\count376 +\c@savedlista=\count377 +\c@listb=\count378 +\c@savedlistb=\count379 +\c@listc=\count380 +\c@savedlistc=\count381 +\c@listd=\count382 +\c@savedlistd=\count383 +\c@liste=\count384 +\c@savedliste=\count385 +\c@listf=\count386 +\c@savedlistf=\count387 +\c@location=\count388 +\c@savedlocation=\count389 +\c@organization=\count390 +\c@savedorganization=\count391 +\c@origlocation=\count392 +\c@savedoriglocation=\count393 +\c@origpublisher=\count394 +\c@savedorigpublisher=\count395 +\c@publisher=\count396 +\c@savedpublisher=\count397 +\c@language=\count398 +\c@savedlanguage=\count399 +\c@origlanguage=\count400 +\c@savedoriglanguage=\count401 +\c@pageref=\count402 +\c@savedpageref=\count403 +\shorthandwidth=\skip62 +\shortjournalwidth=\skip63 +\shortserieswidth=\skip64 +\shorttitlewidth=\skip65 +\shortauthorwidth=\skip66 +\shorteditorwidth=\skip67 +\locallabelnumberwidth=\skip68 +\locallabelalphawidth=\skip69 +\localshorthandwidth=\skip70 +\localshortjournalwidth=\skip71 +\localshortserieswidth=\skip72 +\localshorttitlewidth=\skip73 +\localshortauthorwidth=\skip74 +\localshorteditorwidth=\skip75 +Package biblatex Info: Trying to load compatibility code... +Package biblatex Info: ... file 'blx-compat.def' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-compat.def +File: blx-compat.def 2024/03/21 v3.20 biblatex compatibility (PK/MW) +) +Package biblatex Info: Trying to load generic definitions... +Package biblatex Info: ... file 'biblatex.def' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.def +File: biblatex.def 2024/03/21 v3.20 biblatex compatibility (PK/MW) +\c@textcitecount=\count404 +\c@textcitetotal=\count405 +\c@textcitemaxnames=\count406 +\c@biburlbigbreakpenalty=\count407 +\c@biburlbreakpenalty=\count408 +\c@biburlnumpenalty=\count409 +\c@biburlucpenalty=\count410 +\c@biburllcpenalty=\count411 +\biburlbigskip=\muskip18 +\biburlnumskip=\muskip19 +\biburlucskip=\muskip20 +\biburllcskip=\muskip21 +\c@smartand=\count412 +) +Package biblatex Info: Trying to load bibliography style 'numeric'... +Package biblatex Info: ... file 'numeric.bbx' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx +File: numeric.bbx 2024/03/21 v3.20 biblatex bibliography style (PK/MW) +Package biblatex Info: Trying to load bibliography style 'standard'... +Package biblatex Info: ... file 'standard.bbx' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/bbx/standard.bbx +File: standard.bbx 2024/03/21 v3.20 biblatex bibliography style (PK/MW) +\c@bbx:relatedcount=\count413 +\c@bbx:relatedtotal=\count414 +)) +Package biblatex Info: Trying to load citation style 'numeric'... +Package biblatex Info: ... file 'numeric.cbx' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx +File: numeric.cbx 2024/03/21 v3.20 biblatex citation style (PK/MW) +Package biblatex Info: Redefining '\cite'. +Package biblatex Info: Redefining '\parencite'. +Package biblatex Info: Redefining '\footcite'. +Package biblatex Info: Redefining '\footcitetext'. +Package biblatex Info: Redefining '\smartcite'. +Package biblatex Info: Redefining '\supercite'. +Package biblatex Info: Redefining '\textcite'. +Package biblatex Info: Redefining '\textcites'. +Package biblatex Info: Redefining '\cites'. +Package biblatex Info: Redefining '\parencites'. +Package biblatex Info: Redefining '\smartcites'. +) +Package biblatex Info: Trying to load configuration file... +Package biblatex Info: ... file 'biblatex.cfg' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/biblatex.cfg +File: biblatex.cfg +) +Package biblatex Info: Input encoding 'utf8' detected. +Package biblatex Info: Document encoding is UTF8 .... + (/usr/local/texlive/2025/texmf-dist/tex/latex/l3kernel/expl3.sty +Package: expl3 2025-01-18 L3 programming layer (loader) + (/usr/local/texlive/2025/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2024-05-08 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count415 +\l__pdf_internal_box=\box52 +)) +Package biblatex Info: ... and expl3 +(biblatex) 2025-01-18 L3 programming layer (loader) +(biblatex) is new enough (at least 2020/04/06), +(biblatex) setting 'casechanger=expl3'. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/blx-case-expl3.sty (/usr/local/texlive/2025/texmf-dist/tex/latex/l3packages/xparse/xparse.sty +Package: xparse 2024-08-16 L3 Experimental document command parser +) +Package: blx-case-expl3 2024/03/21 v3.20 expl3 case changing code for biblatex +)) (/usr/local/texlive/2025/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty +Package: algorithm2e 2017/07/18 v5.2 algorithms environments +\c@AlgoLine=\count416 +\algocf@hangindent=\skip76 + (/usr/local/texlive/2025/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +Package: ifoddpage 2022/10/18 v1.2 Conditionals for odd/even page detection +\c@checkoddpage=\count417 +) (/usr/local/texlive/2025/texmf-dist/tex/latex/tools/xspace.sty +Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) +) (/usr/local/texlive/2025/texmf-dist/tex/latex/relsize/relsize.sty +Package: relsize 2013/03/29 ver 4.1 +) +\skiptotal=\skip77 +\skiplinenumber=\skip78 +\skiprule=\skip79 +\skiphlne=\skip80 +\skiptext=\skip81 +\skiplength=\skip82 +\algomargin=\skip83 +\skipalgocfslide=\skip84 +\algowidth=\dimen152 +\inoutsize=\dimen153 +\inoutindent=\dimen154 +\interspacetitleruled=\dimen155 +\interspacealgoruled=\dimen156 +\interspacetitleboxruled=\dimen157 +\algocf@ruledwidth=\skip85 +\algocf@inoutbox=\box53 +\algocf@inputbox=\box54 +\AlCapSkip=\skip86 +\AlCapHSkip=\skip87 +\algoskipindent=\skip88 +\algocf@nlbox=\box55 +\algocf@hangingbox=\box56 +\algocf@untilbox=\box57 +\algocf@skipuntil=\skip89 +\algocf@capbox=\box58 +\algocf@lcaptionbox=\skip90 +\algoheightruledefault=\skip91 +\algoheightrule=\skip92 +\algotitleheightruledefault=\skip93 +\algotitleheightrule=\skip94 +\c@algocfline=\count418 +\c@algocfproc=\count419 +\c@algocf=\count420 +\algocf@algoframe=\box59 +\algocf@algobox=\box60 +) +\c@theorem=\count421 +Package csquotes Info: Checking for multilingual support... +Package csquotes Info: ... found 'babel' package. +Package csquotes Info: Adjusting default style. +Package csquotes Info: Redefining alias 'default' -> 'french'. + (./main.aux +Package babel Info: 'french' activates 'french' shorthands. +(babel) Reported on input line 10. +) +\openout1 = `main.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Info: Redefining \degres on input line 18. +LaTeX Info: Redefining \up on input line 18. +Package biblatex Info: Trying to load language 'french'... +Package biblatex Info: ... file 'french.lbx' found. + (/usr/local/texlive/2025/texmf-dist/tex/latex/biblatex/lbx/french.lbx +File: french.lbx 2024/03/21 v3.20 biblatex localization (PK/MW) +) +Package biblatex Info: Input encoding 'utf8' detected. +Package biblatex Info: Automatic encoding selection. +(biblatex) Assuming data encoding 'utf8'. +\openout3 = `main.bcf'. + +Package biblatex Info: Trying to load bibliographic data... +Package biblatex Info: ... file 'main.bbl' found. + (./main.bbl) +Package biblatex Info: Reference section=0 on input line 18. +Package biblatex Info: Reference segment=0 on input line 18. + + +[1 + +{/usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{/usr/local/texlive/2025/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}] (./intro/index.tex +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <7> on input line 5. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <5> on input line 5. + +Underfull \hbox (badness 10000) in paragraph at lines 12--14 + + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 34--39 + + [] + +) (./algo/index.tex + +[1] +Underfull \hbox (badness 10000) in paragraph at lines 21--26 + + [] + +) + +LaTeX Warning: Empty bibliography on input line 38. + + + +[2] (./main.aux) + *********** +LaTeX2e <2024-11-01> patch level 2 +L3 programming layer <2025-01-18> + *********** +Package logreq Info: Writing requests to 'main.run.xml'. +\openout1 = `main.run.xml'. + + ) +Here is how much of TeX's memory you used: + 12400 strings out of 473190 + 234983 string characters out of 5715806 + 1086239 words of memory out of 5000000 + 35571 multiletter control sequences out of 15000+600000 + 566378 words of font info for 46 fonts, out of 8000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 66i,21n,81p,738b,1731s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on main.pdf (3 pages, 204949 bytes). +PDF statistics: + 85 PDF objects out of 1000 (max. 8388607) + 51 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/recherches/ALDLoverAB/main.pdf b/recherches/ALDLoverAB/main.pdf new file mode 100644 index 0000000..a5868c3 Binary files /dev/null and b/recherches/ALDLoverAB/main.pdf differ diff --git a/recherches/ALDLoverAB/main.run.xml b/recherches/ALDLoverAB/main.run.xml new file mode 100644 index 0000000..2b92af2 --- /dev/null +++ b/recherches/ALDLoverAB/main.run.xml @@ -0,0 +1,85 @@ + + + + + + + + + + + + + + + + + + + + + + + + +]> + + + latex + + main.bcf + + + main.bbl + + + blx-dm.def + blx-compat.def + biblatex.def + standard.bbx + numeric.bbx + numeric.cbx + biblatex.cfg + french.lbx + + + + biber + + biber + main + + + main.bcf + + + main.bbl + + + main.bbl + + + main.bcf + + + sources.bib + + + diff --git a/recherches/ALDLoverAB/main.synctex.gz b/recherches/ALDLoverAB/main.synctex.gz new file mode 100644 index 0000000..f52dd88 Binary files /dev/null and b/recherches/ALDLoverAB/main.synctex.gz differ diff --git a/recherches/ALDLoverAB/main.tex b/recherches/ALDLoverAB/main.tex new file mode 100644 index 0000000..b23ae54 --- /dev/null +++ b/recherches/ALDLoverAB/main.tex @@ -0,0 +1,41 @@ +\documentclass{article} + +\usepackage[T1]{fontenc} +\usepackage[utf8]{inputenc} +\usepackage{csquotes} +\usepackage[french]{babel} +\usepackage[affil-it]{authblk} +\usepackage{fullpage} + +\usepackage{biblatex} + +\usepackage[linesnumbered,ruled,vlined]{algorithm2e} + +\newtheorem{theorem}{Property} + +\addbibresource{sources.bib} + +\begin{document} + +\title{???} +\author{JOLY Amaury \\ \textbf{Encadrants :} GODARD Emmanuel, TRAVERS Corentin} +\affil{Aix-Marseille Université, Scille} +\date{\today} + +\begin{titlepage} + \maketitle +\end{titlepage} + + +\section{Introduction} + +\subsection{Model} +\input{intro/index.tex} + +\subsection{Algorithms} +\input{algo/index.tex} + +\printbibliography + + +\end{document} \ No newline at end of file diff --git a/recherches/ALDLoverAB/sources.bib b/recherches/ALDLoverAB/sources.bib new file mode 100644 index 0000000..e69de29