Publications of Julien Clement

2023

Conference papers

titre
An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams
auteur
Julien Clément, Antoine Genitrini
article
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Aug 2023, Bordeaux, France. pp.36:1--36:15, ⟨10.4230/LIPIcs.MFCS.2023.36⟩
Accès au bibtex
https://arxiv.org/pdf/2211.04938 BibTex

2022

Journal articles

titre
High resolution operational modal analysis of Sant'Agata del Mugello in light of its building history
auteur
Arnaud Montabert, Diego E Mercerat, Julien Clément, Philippe Langlaude, Hélène Lyon-Caen, Maria Lancieri
article
Engineering Structures, 2022, 254, pp.113767-113787. ⟨10.1016/j.engstruct.2021.113767⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03537251/file/Montabert_et_al_Engineering_Structures_2022.pdf BibTex

Conference papers

titre
Overview of the research activities in earthquake engineering and seismic risk assessment within the joint framework CEA-EDF-FRAMATOME-IRSN
auteur
Benjamin Richard, Marie-Cécile Robin-Boudaoud, Emmanuel Viallet, Sefano Cherubini, Julien Berger, Ibrahim Bitar, Julien Clement, Alexis Courtois, Olivier Fabre, Reine Fares, Loic Le Gratiet, Fabien Grange, Thomas Heitz, Nicolas Ile, Maria Lancieri, Thomas Langlade, Natacha Suin, François Voldoire
article
SMIRT 26 - 26th International Conference on Structural Mechanics in Reactor Technology, Jul 2022, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-04455052/file/mo.1.a.1.pdf BibTex
titre
Overview of the research activities in earthquake engineering and seismic risk assessment within the joint framework cea-edf-framatome-irsn
auteur
Benjamin Richard, Robin-Boudaoud M.C., Viallet E., Cherubini S., Berger J., Ibrahim Bitar, Julien Clément, Fabre O., Fares R., Graciet L. Le, Grange F., Suin N., Thomas Heitz, Ile N., Courtois A., Maria Lancieri, Thomas Langlade, Voldoire F.
article
SMIRT26 - 26th International Conference on Structural Mechanics in Reactor Technology, Jul 2022, Berlin/Postdam, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-03913947/file/Richard_SMIRT26_2022.PDF BibTex

2021

Books

titre
Edition critique de Marcel Mauss, Sociologie, psychologie, physiologie
auteur
Florence M. Weber, Astrid Chevance, Julien Clément
article
PUF, 2021, Quadrige, série Mauss, Florence Weber, 978-2-13-059529-8
Accès au bibtex
BibTex
titre
Association Française du Génie Parasismique : rapport de la mission du séisme du Teil du 11 novembre 2019 (Ardèche)
auteur
Nicolas Taillefer, P Arroucau, Frédéric Leone, Stéphanie Defossez, Julien Clément, Madeleine-Sophie Déroche, Cédric Giry, Maria Lancieri, Paul Quistin
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03276107/file/AFPS_Rapport_mission_2019_Teil_nov2020.pdf BibTex

Poster communications

titre
Characterizing ground motion of historical earthquakes : the case of Sant'Agata del Mugello
auteur
Arnaud Montabert, Hélène Dessales, Julien Clément, D. Mercerat, Andrea Arrighetti, Hélène Lyon-Caen, Cédric Giry, M. Lancieri
article
5èmes Rencontres Scientifiques et Techniques Résif, Nov 2021, Obernai (67210), France
Accès au texte intégral et bibtex
https://hal.science/hal-03482590/file/poster_resif.pdf BibTex

2020

Journal articles

titre
Non-stationary extreme value analysis applied to seismic fragility assessment for nuclear safety analysis
auteur
Jérémy Rohmer, Pierre Gehl, Marine Marcilhac-Fradin, Yves Guigueno, Nadia Rahni, Julien Clément
article
Natural Hazards and Earth System Sciences, 2020, 20 (5), pp.1267-1285. ⟨10.5194/nhess-20-1267-2020⟩
Accès au texte intégral et bibtex
https://brgm.hal.science/hal-02281366/file/nhess-20-1267-2020.pdf BibTex
titre
Tracing the seismic history of Sant’Agata del Mugello (Italy, Tuscany) through a cross-disciplinary approach
auteur
Arnaud Montabert, Helene Dessales, Andrea Arrighetti, Julien Clément, Maria Lancieri, H Lyon-Caen
article
Journal of Archaeological Science: Reports, 2020, 33, pp.102440. ⟨10.1016/j.jasrep.2020.102440⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02944920/file/Montabert_Dessales_Arrighetti_Clement_Lancieri_Lyon-Caen2020_paper.pdf BibTex

Conference papers

titre
Binary Decision Diagrams: from Tree Compaction to Sampling
auteur
Julien Clément, Antoine Genitrini
article
14th Latin American Theoretical Informatics Symposium, May 2020, Sao Polo, Brazil. ⟨10.1007/978-3-030-61792-9_45⟩
Accès au bibtex
https://arxiv.org/pdf/1907.06743 BibTex

2019

Conference papers

titre
STRUCTURAL ASSESSMENT OF A FRENCH DOUBLE REACTOR CONTAINMENTS VESSEL: MECHANICAL STUDY IN SITUATION OF SEVERE ACCIDENT AND EXPERIMENTAL RESEARCH PERSPECTIVE
auteur
Julien Clement, Georges Nahas, Benjamin Richard, Francois Tarallo
article
International Conference on Structural Mechanics In Reactor Technology, SMIRT, Aug 2019, CHARLOTTE, NORTH CAROLINA, USA, United States. pp.0, ⟨10.1340/309⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03106514/file/0000167697_001.PDF BibTex
titre
Identifying uncertainty contributions to the seismic fragility assessment of a nuclear reactor steam line
auteur
Pierre Gehl, Marine Macilhac-Fradin, Jeremy Rohmer, Yves Guigueno, Nadia Rahni, Julien Clément
article
COMPDYN 2019 - 7th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering, Jun 2019, Heraklion - Crète, Greece. pp.47 - 68
Accès au texte intégral et bibtex
https://brgm.hal.science/hal-02047529/file/pdf_C18915_201810300951.pdf BibTex
titre
Dichotomic Selection on Words: A Probabilistic Analysis
auteur
Ali Akhavi, Julien Clément, Dimitri Darthenay, Loïck Lhote, Brigitte Vallée
article
30th Annual Symposium on Combinatorial Pattern Matching (CPM 2019), Jun 2019, Pisa, Italy. pp.19:1-19:19, ⟨10.4230/LIPIcs.CPM.2019.19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02152162/file/LIPIcs-CPM-2019-19.pdf BibTex

2018

Books

titre
Arbres pour l'algorithmique
auteur
Brigitte Chauvin, Julien Clément, Danièle Gardy
article
83, 2018, Mathématiques et Applications, 978-3-319-93724-3. ⟨10.1007/978-3-319-93725-0⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01708981/file/book.pdf BibTex

2017

Journal articles

titre
Representing prefix and border tables: results on enumeration
auteur
Julien Clément, Laura Giambruno
article
Mathematical Structures in Computer Science, 2017, 27 (02), pp.257 - 276. ⟨10.1017/S0960129515000146⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01708989/file/Representing_Prefix_Border_Tables.pdf BibTex
titre
Can generic knee joint models improve the measurement of osteoarthritic knee kinematics during squatting activity?
auteur
Julien Clement, Raphaël Dumas, Nicola Hagemeister, Jaques A de Guise
article
Computer Methods in Biomechanics and Biomedical Engineering, 2017, 20 (1), pp. 94-103. ⟨10.1080/10255842.2016.1202935⟩
Accès au bibtex
BibTex

2016

Journal articles

titre
Towards a realistic analysis of the QuickSelect algorithm
auteur
Julien Clément, James Allen Fill, Thu Hien Nguyen Thi, Brigitte Vallée
article
Theory of Computing Systems, 2016, 58 (4), pp.528-578. ⟨10.1007/s00224-015-9633-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01138894/file/TOCS-QSS-final.pdf BibTex

2015

Journal articles

titre
La religion, objet ethnologique ?
auteur
Jessica de Largy Healy, Jean-Pierre Warnier, Frédéric Keck, Anouk Cohen, Julien Clément
article
Libération, 2015
Accès au bibtex
BibTex
titre
Soft tissue artifact compensation in knee kinematics by multi-body optimization: Performance of subject-specific knee joint models
auteur
Julien Clement, Raphaël Dumas, Nicola Hagemeister, Jaques A de Guise
article
Journal of Biomechanics, 2015, 48 (14), pp. 3796-3802. ⟨10.1016/j.jbiomech.2015.09.040⟩
Accès au bibtex
BibTex
titre
Towards a Realistic Analysis of Some Popular Sorting Algorithms
auteur
Julien Clément, Thu Hien Nguyen Thi, Brigitte Vallée
article
Combinatorics, Probability and Computing, 2015, (Honouring the Memory of Philippe Flajolet - Part 3, 24 (01), pp.104-144. ⟨10.1017/S0963548314000649⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01103998/file/cpc-PF-style.pdf BibTex

2014

Conference papers

titre
Influence of biomechanical multi-joint models used in global optimisation to estimate healthy and osteoarthritis knee kinematics
auteur
Julien Clement, Nicola Hagemeister, Raphaël Dumas, Michèle Kanhonou, Jaques A de Guise
article
39ème Congrès de la Société de Biomécanique, Aug 2014, VALENCIENNES, France. pp. 76-77, ⟨10.1080/10255842.2014.931141⟩
Accès au bibtex
BibTex
titre
Ability of eight multi-joint models to compensate for soft tissue artefacts using global optimisation - An in vivo study of knee kinematics during squats
auteur
Julien Clement, Nicola Hagemeister, Raphaël Dumas, Michèle Kanhonou, Jaques A de Guise
article
International Symposium on 3D Analysis of Human Movement (3D-AHM), Jul 2014, LAUSANNE, Switzerland. 4 p
Accès au texte intégral et bibtex
https://hal.science/hal-01762724/file/ris00000693.pdf BibTex
titre
On the Number of Prefix and Border Tables
auteur
Julien Clément, Laura Giambruno
article
LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Mar 2014, Montevideo, Uruguay. pp.442-453, ⟨10.1007/978-3-642-54423-1_39⟩
Accès au bibtex
BibTex

Book sections

titre
Exemples d'analyse d'algorithmes: calculs de PGCD et algorithmes de tri et de recherche
auteur
Julien Clément, Loïck Lhote
article
Informatique Mathématique: Une photographie en 2014, 2014, 9782354122287
Accès au texte intégral et bibtex
https://hal.science/hal-01087191/file/ch_arit_hal.pdf BibTex

Preprints, Working Papers, ...

titre
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering — Feasibility Study —
auteur
Xavier Défago, Maria Gradinariu Potop-Butucaru, Julien Clément, Stéphane Messika, Philippe Raipin-Parvédy
article
2014
Accès au texte intégral et bibtex
https://hal.science/hal-01275265/file/gathering-journal-rapport-technique.pdf BibTex

2013

Journal articles

titre
Optimal prefix codes for pairs of geometrically-distributed random variables
auteur
Frédérique Bassino, Julien Clément, Gadiel Seroussi, Alfredo Viola
article
IEEE Transactions on Information Theory, 2013, 59 (4), pp.2375 - 2395. ⟨10.1109/TIT.2012.2236915⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00511248/file/2DGD.pdf BibTex

Conference papers

titre
On the complexity of strings
auteur
Julien Clément, Laura Giambruno
article
14th Italian Conference on Theoretical Computer Science, Sep 2013, Palerme, Italy
Accès au bibtex
BibTex
titre
A general framework for the realistic analysis of sorting and searching algorithms. Application to some popular algorithms
auteur
Julien Clément, Thu Hien Nguyen Thi, Brigitte Vallée
article
30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Feb 2013, Kiel, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01086576/file/ACTI-CLEMENT-2013-2.pdf BibTex
titre
A general framework for the realistic analysis of sorting and searching algorithms. Application to some popular algorithms
auteur
Julien Clément, Thu Hien Nguyen Thi, Brigitte Vallée
article
30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), 2013, Kiel, Germany. pp.598--609, ⟨10.4230/LIPIcs.STACS.2013.598⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00913309/file/56.pdf BibTex

2012

Journal articles

titre
Counting occurrences for a finite set of words: combinatorial methods
auteur
Frédérique Bassino, Julien Clément, Pierre Nicodème
article
ACM Transactions on Algorithms, 2012, 8, pp.31:1--31:28. ⟨10.1145/2229163.2229175⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00452694/file/talg2010.pdf BibTex

Preprints, Working Papers, ...

titre
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
auteur
Julien Clement, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stephane Messika, Philippe Raipin-Parvedy
article
2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00746087/file/gathering-journal.pdf BibTex

2011

Journal articles

titre
Licking behaviour induces partial anthelmintic efficacy of ivermectin pour-on formulation in untreated cattle.
auteur
Alain Bousquet‐mélou, Philippe Jacquiet, Hervé Hoste, Julien Clément, Jean-Paul Bergeaud, Michel Alvinerie, Pierre-Louis Toutain
article
Int J Parasitol, 2011, 41 (5), epub ahead of print. ⟨10.1016/j.ijpara.2010.12.007⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00556815/file/Bousquet-Melou_Authors_Manuscript_IJP_2011.pdf BibTex

Conference papers

titre
Words occurrences in random texts
auteur
Julien Clément
article
AofA'11, 22th International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms,, 2011, Będlewo, Poland
Accès au bibtex
BibTex
titre
Mode d'emploi pour la vérification des protocoles de population
auteur
Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
article
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00584684/file/main.pdf BibTex

Habilitation à diriger des recherches

titre
Algorithmes, mots et textes aléatoires
auteur
Julien Clément
article
Algorithme et structure de données [cs.DS]. Université de Caen, 2011
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00913127/file/HDR_Clement_2011.pdf BibTex

Preprints, Working Papers, ...

titre
Singularity of optimal prefix codes for pairs of geometrically-distributed random variables.
auteur
Frédérique Bassino, Julien Clément, Gadiel Seroussi, Alfredo Viola
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00569199/file/isit2011.pdf BibTex

2010

Journal articles

titre
The cost of probabilistic agreement in oblivious robot networks
auteur
Julien Clement, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika
article
Information Processing Letters, 2010, 110 (11), pp.431-438. ⟨10.1016/j.ipl.2010.04.006⟩
Accès au bibtex
BibTex

Conference papers

titre
On utilizing speed in networks of mobile agents
auteur
Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten
article
ACM Symposium on Principles of Distributed Computing, PODC 2010, Jul 2010, Zurich, Switzerland. ⟨10.1145/1835698.1835775⟩
Accès au bibtex
BibTex

Reports

titre
Guidelines for Verification of Population Protocols
auteur
Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00565090/file/main.pdf BibTex

2009

Journal articles

titre
Regularity of the Euclid Algorithm, Application to the analysis of fast GCD Algorithms
auteur
Eda Cesaratto, Julien Clément, Benoît Daireaux, Loïck Lhote, Véronique Maume-Deschamps, Brigitte Vallée
article
Journal of Symbolic Computation, 2009, 44 (7), pp.726. ⟨10.1016/j.jsc.2008.04.018⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00504022/file/RIACL-CESARATTO-2009-2.pdf BibTex

Conference papers

titre
Entropy for dynamical sources
auteur
Julien Clément, Loïck Lhote, Brigitte Vallée
article
Proceedings of IWAP 2008, Jul 2009, Compiègne, France
Accès au texte intégral et bibtex
https://hal.science/hal-01082045/file/ACTI-CLEMENT-2008-1.pdf BibTex
titre
The Number of Symbol Comparisons in QuickSort and QuickSelect
auteur
Brigitte Vallée, Julien Clément, James Allen Fill, Philippe Flajolet
article
36th International Colloquium on Automata, Languages and Programming, Jul 2009, Rhodes, Greece. pp.750 - 763, ⟨10.1007/978-3-642-02927-1_62⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01082394/file/ACTI-CLEMENT-2009-3.pdf BibTex
titre
Reverse Engineering Prefix Tables
auteur
Julien Clément, Maxime Crochemore, Giuseppina Rindone
article
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.289-300
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00359304/file/24-clement.pdf BibTex

2008

Conference papers

titre
Constructions for Clumps Statistics.
auteur
Frédérique Bassino, Julien Clément, Julien Fayolle, Pierre Nicodème
article
5th International Colloquium on Mathematics and Computer Science (MathInfo'08), Sep 2008, Blaubeuren, Germany. pp.183-198., ⟨10.46298/dmtcs.3563⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00452701/file/dmAI0110.pdf BibTex

Book sections

titre
L'enjeu fait le geste : la mobilisation de la mémoire corporelle dans l'action, entre sciences cognitives et sciences sociales
auteur
Julien Clément
article
D. Meulemans. La mémoire, outil et objet de connaissance, Aux Forges de Vulcain, pp.316, 2008, Sciences
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Analysis of fast versions of the euclid algorithm
auteur
Eda Cesaratto, Julien Clément, Benoît Daireaux, Loïck Lhote, Véronique Maume-Deschamps, Brigitte Vallée
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00211424/file/analco-10-12_-_copie.pdf BibTex

2007

Journal articles

titre
Exact p-value calculation for heterotypic clusters of regulatory motifs and its application in computational annotation of cis-regulatory modules
auteur
Valentina Boeva, Julien Clément, Mireille Régnier, Mikhail Roytberg, Vsevolod Makeev
article
Algorithms for Molecular Biology, 2007, 2 (1), pp.13. ⟨10.1186/1748-7188-2-13⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00784463/file/1748-7188-2-13.pdf BibTex
titre
Exact P-value Calculation for Heterotypic Clusters of Regulatory Motifs and its Use in Computational Annotation of cis-Regulatory Modules
auteur
Mireille Regnier, Valentina Boeva, Julien Clément, Vsevolod Makeev, Mikhail Roytberg
article
Algorithms for Molecular Biology, 2007, 13 (2), http://www.almob.org/content/2/1/13
Accès au bibtex
BibTex

Conference papers

titre
Counting occurrences for a finite set of words: an inclusion-exclusion approach
auteur
Frédérique Bassino, Julien Clément, J. Fayolle, P. Nicodème
article
2007 Conference on Analysis of Algorithms, AofA 07, 2007, Juan les Pins, France. pp.31-46, ⟨10.46298/dmtcs.3543⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00452702/file/dmAH0103.pdf BibTex

2006

Conference papers

titre
Average depth in a binary search tree with repeated keys
auteur
Margaret Archibald, Julien Clément
article
Fourth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, 2006, Nancy, France. pp.309-320, ⟨10.46298/dmtcs.3496⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01184700/file/dmAG0122.pdf BibTex
titre
Optimal prefix codes for some families of two-dimensional geometric distributions
auteur
Frédérique Bassino, Julien Clément, Gadiel Seroussi, Alfredo Viola
article
Data Compression Conference (DCC'06), 2006, United States. pp.113-122
Accès au texte intégral et bibtex
https://hal.science/hal-00619867/file/hal.pdf BibTex
titre
Optimal prefix codes for pairs of geometrically-distributed random variables
auteur
Frédérique Bassino, Julien Clément, Gadiel Seroussi, Alfredo Viola
article
IEEE International Symposium on Information Theory (ISIT'06), 2006, United States. pp.2667 - 2671
Accès au texte intégral et bibtex
https://hal.science/hal-00619869/file/hal.pdf BibTex

2005

Journal articles

titre
The Standard Factorization of Lyndon Words: an Average Point of View
auteur
Frédérique Bassino, Julien Clément, Cyril Nicaud
article
Discrete Mathematics, 2005, 290 (1), pp.1-25. ⟨10.1016/j.disc.2004.11.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619337/file/hal.pdf BibTex

2004

Conference papers

titre
Lyndon words with a fixed standard right factor
auteur
Frédérique Bassino, Julien Clément, Cyril Nicaud
article
15th ACM-SIAM Annual Symposium on Discrete Algorithms (SODA 2004), Jan 2004, New Orleans, Louisiana, United States. pp.646-647
Accès au texte intégral et bibtex
https://hal.science/hal-00619866/file/hal.pdf BibTex

2003

Conference papers

titre
The average lengths of the factors of the standard factorization of Lyndon words
auteur
Frédérique Bassino, Julien Clément, Cyril Nicaud
article
6th International Conference on Developments in Language Theory (DLT 2002), Sep 2003, Kyoto, Japan. pp.307-318
Accès au texte intégral et bibtex
https://hal.science/hal-00619865/file/hal.pdf BibTex

2001

Journal articles

titre
Dynamical sources in information theory: a general analysis of trie structures
auteur
Julien Clément, Philippe Flajolet, Brigitte Vallée
article
Algorithmica, 2001, 29 (1-2), pp.307-369. ⟨10.1007/BF02679623⟩
Accès au bibtex
BibTex

1999

Reports

titre
Dynamical Sources in Information Theory : A General Analysis of Trie Structures
auteur
Julien Clément, Philippe Flajolet, Brigitte Vallée
article
[Research Report] RR-3645, INRIA. 1999
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00073027/file/RR-3645.pdf BibTex

1997

Reports

titre
The Analysis of Hybrid Trie Structures
auteur
Julien Clément, Philippe Flajolet, Brigitte Vallée
article
[Research Report] RR-3295, INRIA. 1997
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00073393/file/RR-3295.pdf BibTex