Nombreux accès distants", p.111 ,
Migration de conteneur", p.113 ,
Exécution, p.115 ,
Exécution 117 1. en anglais : self-management 2. en anglais : self-configuration 3. en anglais : self-healing 4. en anglais : self-protection 5. en anglais : self-optimization [1] A. Simalatsar, Liangpeng Guo, M. Bozga, and R. Passerone. Integration of correct-byconstruction bip models into the metroii design space exploration flow, 30th IEEE International Conference on Computer Design (ICCD), pp.490-491, 2012. ,
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL, 2008 The Third International Conference on Software Engineering Advances, pp.352-359, 2008. ,
DOI : 10.1109/ICSEA.2008.47
Evaluation and comparison of ADL based approaches for the description of dynamic of software architectures, 7th International Conference on Enterprise Information Systems (ICEIS), pp.189-195, 2005. ,
A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, pp.28-33, 2004. ,
DOI : 10.1145/1075405.1075411
Survey of graph rewriting applied to model transformations, 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.431-441, 2014. ,
Architectures Dynamiques dans le cadre des applications à base de composants et orientées services, 2007. ,
Autonomic Computing : IBM's Perspective on the State of Information Technology, 2001. ,
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
Autonomic personal computing, IBM Systems Journal, vol.42, issue.1, pp.165-176, 2003. ,
DOI : 10.1147/sj.421.0165
Dissecting Self-* Properties, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.10-19, 2009. ,
DOI : 10.1109/SASO.2009.25
An architectural blueprint for autonomic computing, IBM, 2006. ,
Systems and software engineering ? Architecture description(E) (Revision of ISO/IEC 42010, IEEE, vol.42010, pp.2011-2012, 1471. ,
IEEE Recommended Practice for Architectural Description of Software- Intensive Systems, p.23, 1471. ,
An Active Architecture Approach to Dynamic Systems Co-evolution, Software Architecture, pp.2-10, 2007. ,
DOI : 10.1007/978-3-540-75132-8_2
URL : https://hal.archives-ouvertes.fr/hal-00514287
AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994. ,
DOI : 10.1142/9789812798039_0001
A survey of approaches for verifying model transformations . Software & Systems Modeling, pp.1-26, 2013. ,
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development, Design, Automation and Test in Europe, pp.1044-1049, 2005. ,
DOI : 10.1109/DATE.2005.105
URL : https://hal.archives-ouvertes.fr/hal-00181267
Automated conflict-free distributed implementation of component-based models, International Symposium on Industrial Embedded System (SIES), pp.108-117, 2010. ,
DOI : 10.1109/SIES.2010.5551377
URL : https://hal.archives-ouvertes.fr/hal-00558046
From event-b specifications to programs for distributed algorithms, IEEE 22nd International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE), pp.104-109, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01495802
Formally modelling software architectures with the UML 2.0 profile for ?-ADL. SIGSOFT Softw, Eng. Notes, vol.31, issue.1, pp.1-13, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00512569
Non-Intrusive Autonomic Approach with Self-Management Policies Applied to Legacy Infrastructures for Performance Improvements, International Journal of Adaptive, Resilient and Autonomic Systems, vol.2, issue.1, pp.58-76, 2011. ,
DOI : 10.4018/jaras.2011010104
URL : https://hal.archives-ouvertes.fr/hal-00656972
Consistent transformations for software architecture styles of distributed systems, Electronic Notes in Theoretical Computer Science, vol.28, issue.0, pp.4-25, 2000. ,
DOI : 10.1016/S1571-0661(05)80626-7
Rule-Level Verification of Graph Transformations for Invariants Based on Edges??? Transitive Closure, Software Engineering and Formal Methods, pp.106-121, 2013. ,
DOI : 10.1007/978-3-642-40561-7_8
URL : https://hal.archives-ouvertes.fr/hal-01178554
??-ARL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-20, 2004. ,
DOI : 10.1145/1022494.1022517
Enhanced graph rewriting systems for complex software domains. Software & Systems Modeling, pp.1-21, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01228299
Gestion autonomique de performance, d'énergie et de qualité de service Application aux réseaux filaires, réseaux de capteurs et grilles de calcul, 2010. ,
AGG: A??Graph Transformation Environment for Modeling and Validation of Software, pp.446-453, 2004. ,
DOI : 10.1007/978-3-540-25959-6_35
The GROOVE Simulator: A??Tool for State Space Generation, pp.479-485, 2004. ,
DOI : 10.1007/978-3-540-25959-6_40
Specifying Self-configurable Component-Based Systems with FracToy, Second International Conference on Abstract State Machines, Alloy, B and Z, pp.91-104, 2010. ,
DOI : 10.1007/978-3-642-11811-1_8
URL : https://hal.archives-ouvertes.fr/inria-00512442
Certifying an automated code generator using formal tools : Preliminary experiments in the geneauto project, European Congress on Embedded Real-Time Software (ERTS), 2008. ,
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations, 2008 32nd Annual IEEE Software Engineering Workshop, pp.33-42, 2008. ,
DOI : 10.1109/SEW.2008.8
Information Preserving Bidirectional Model Transformations, Fundamental Approaches to Software Engineering, pp.72-86, 2007. ,
DOI : 10.1007/978-3-540-71289-3_7
The scaling challenge, Proceedings of the 2003 international symposium on Physical design , ISPD '03, pp.51-58, 2003. ,
DOI : 10.1145/640000.640014
Enhancing the generation of correct-by-construction code from design models for complex embedded systems, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), pp.1-4, 2012. ,
DOI : 10.1109/ETFA.2012.6489716
Correct-by-construction code generation from hybrid automata specification, 2011 7th International Wireless Communications and Mobile Computing Conference, pp.1660-1665, 2011. ,
DOI : 10.1109/IWCMC.2011.5982784
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq, Formal Methods and Software Engineering, pp.56-73, 2010. ,
DOI : 10.1007/978-3-642-16901-4_6
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Relationship between Testing Criteria for Architecture Configuration Testing Based on Wright Specification, 2010 International Conference on Computational Intelligence and Software Engineering, pp.1-4, 2010. ,
DOI : 10.1109/CISE.2010.5676824
Modeling aspect-oriented software architecture based on ACME, 2011 6th International Conference on Computer Science & Education (ICCSE), pp.1159-1164, 2011. ,
DOI : 10.1109/ICCSE.2011.6028839
Checking non-functional properties of UML2.0 components assembly, 22nd IEEE International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE), pp.278-283, 2013. ,
Using dynamic ACME, Working Conference on Complex and Dynamic Systems Architecture, 2001. ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000. ,
DOI : 10.1145/1925805.1925814
Dynamic structure in software architectures, 4th ACM SIG- SOFT Symposium on the Foundations of Software Engineering (FSE), pp.3-14, 1996. ,
Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, pp.21-37, 1998. ,
DOI : 10.1007/BFb0053581
A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997. ,
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067
Specification and analysis of system architecture using rapide, IEEE Trans. Software Eng, vol.21, issue.4, pp.336-355, 1995. ,
An Open Component Model and Its Support in Java, Component-Based Software Engineering, pp.7-22, 2004. ,
DOI : 10.1007/978-3-540-24774-6_3
A Model for Developing Component-Based and Aspect-Oriented Systems, Software Composition, pp.259-274, 2006. ,
DOI : 10.1007/11821946_17
URL : https://hal.archives-ouvertes.fr/inria-00126352
The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006. ,
DOI : 10.1002/spe.767
Using components for architecturebased management : The self-repair case, Proceedings of the 30th International Conference on Software Engineering, ICSE '08, pp.101-110, 2008. ,
Jade, un environnement d'administration autonome, Techniques et Sciences Informatiques, 2008. ,
DOI : 10.3166/tsi.27.1225-1252
Spécification de politiques d'administration autonome avec Tune, Conférence Française sur les Systèmes d'Exploitation (CFSE). Chapitre Français de l'ACM SIGOPS, 2008. ,
Autonomic management policy specification in Tune, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1658-1663, 2008. ,
DOI : 10.1145/1363686.1364080
Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-1936, 2009. ,
DOI : 10.1145/1592434.1592436
Pi-ADL : an architecture description language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures, SIGSOFT Softw. Eng. Notes, pp.1-14, 2004. ,
??-AAL, ACM SIGSOFT Software Engineering Notes, vol.31, issue.2, pp.1-19, 2006. ,
DOI : 10.1145/1118537.1118541
Validating UML models against architectural profiles, ACM SIGSOFT Software Engineering Notes, vol.28, issue.5, pp.58-67, 2003. ,
DOI : 10.1145/949952.940081
Towards a unified graph-based framework for dynamic component-based architectures description in Z, Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS), pp.227-234, 2004. ,
Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1, pp.2-57, 2002. ,
DOI : 10.1145/504087.504088
Towards a UML Profile for Software Architecture Descriptions, 3rd International Conference on The Unified Modeling Language : advancing the standard (UML), pp.513-527, 2000. ,
DOI : 10.1007/3-540-40011-7_38
Style-based modeling and refinement of service-oriented architectures, Software & Systems Modeling, vol.55, issue.3, pp.187-207, 2006. ,
DOI : 10.1007/s10270-006-0001-4
Graph-Based Formalism for Machine-to-Machine Self-Managed Communications, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp.74-79, 2013. ,
DOI : 10.1109/WETICE.2013.45
URL : https://hal.archives-ouvertes.fr/hal-00789347
A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars, International Journal of Autonomic Computing, vol.1, issue.3, pp.226-245, 2010. ,
DOI : 10.1504/IJAC.2010.033007
Handbook of Graph Grammars and Computing by Graph Transformation, 1999. ,
Applications of Graph Transformations with Industrial Relevance, volume 7233 of Programming and Software Engineering, 2012. ,
Category Theory, volume 49 of Oxford Logic Guides, 2006. ,
Handbook of Graph Grammars and Computing by Graph Transformations, chapter Algebraic Approaches to Graph Transformation. Part I : Basic Concepts and Double Pushout Approach, Foundations of Rozenberg, vol.165, pp.163-245, 1997. ,
Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.1-2, pp.181-224, 1993. ,
DOI : 10.1016/0304-3975(93)90068-5
Handbook of Graph Grammars and Computing by Graph Transformations, chapter Algebraic Approaches to Graph Transformation. Part II : Single Pushout Approach and Comparison with Double Pushout Approach, Foundations of Rozenberg, vol.165, pp.247-312, 1997. ,
Graph Grammars with Negative Application Conditions, Fundamenta Informaticae, vol.26, pp.287-313, 1995. ,
Nested Constraints and Application Conditions for High-Level Structures, Formal Methods in Software and Systems Modeling, pp.293-308, 2005. ,
DOI : 10.1007/978-3-540-31847-7_17
Handbook of Graph Grammars and Computing by Graph Transformations , chapter Node Replacement Graph Grammars, Foundations of Rozenberg, vol.165, pp.1-94, 1997. ,
Gestion dynamique des architectures pour les systèmes communicants collaboratifs, 2011. ,
A graph transformation approach to software architecture reconfiguration, Science of Computer Programming, vol.44, issue.2, pp.133-155, 2000. ,
DOI : 10.1016/S0167-6423(02)00036-9
Software Architecture Styles As Graph Grammars, SIGSOFT Softw. Eng. Notes, vol.21, issue.6, pp.15-23, 1996. ,
Modeling software architectures and styles with graph grammars and constraint solving of The International Federation for Information Processing, Software Architecture, pp.127-143, 1999. ,
Graph processes, Fundam. Inf, vol.26, issue.3-4, pp.241-265, 1996. ,
Three models for the description of language, IEEE Transactions on Information Theory, vol.2, issue.3, pp.113-124, 1956. ,
DOI : 10.1109/TIT.1956.1056813
Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, vol.532, 1991. ,
Graph grammar engineering: A software specification method, Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, pp.186-201, 1987. ,
DOI : 10.1007/3-540-18771-5_53
Graph processes, Fundam. Inf, vol.264, issue.3, pp.241-265, 1996. ,
Modelling Dynamic Software Architectures using Typed Graph Grammars, Electronic Notes in Theoretical Computer Science, vol.213, issue.1, pp.39-53, 2008. ,
DOI : 10.1016/j.entcs.2008.04.073
From graph grammars to high level replacement systems, pp.269-291, 1991. ,
DOI : 10.1007/BFb0017395
Fundamental theory for typed attributed graphs and graph transformation based on adhesive hlr categories, Fundamenta Informaticae, vol.74, issue.1, pp.31-61, 2006. ,
Fundamentals of algebraic specification. EATCS Monographs in Theoretical Computer Science. An EATCS Series, 1985. ,
Two-level graph grammars, Graph-Grammars and Their Application to Computer Science and Biology, pp.255-269, 1979. ,
DOI : 10.1007/BFb0025725
Towards Graph Programs for Graph Algorithms, Graph Transformations, pp.128-143, 2004. ,
DOI : 10.1007/978-3-540-30203-2_11
Fundamental Theory for Typed Attributed Graph Transformation, Graph Transformations, pp.161-177, 2004. ,
DOI : 10.1007/978-3-540-30203-2_13
Graph Transformation with Variables, Formal Methods in Software and Systems Modeling, pp.101-115, 2005. ,
DOI : 10.1007/978-3-540-31847-7_6
The FUJABA environment, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.742-745, 2000. ,
DOI : 10.1145/337180.337620
Tool integration at the meta-model level: the Fujaba approach, International Journal on Software Tools for Technology Transfer, vol.42, issue.3, pp.203-218, 2004. ,
DOI : 10.1007/s10009-004-0155-8
AToM3: A Tool for Multi-formalism and Meta-modelling, Fundamental Approaches to Software Engineering, pp.174-188, 2002. ,
DOI : 10.1007/3-540-45923-5_12
Meta-modelling and graph grammars for multi-paradigm modelling in atom3. Software and Systems Modeling, pp.194-209, 2004. ,
GrGen: A Fast SPO-Based Graph Rewriting Tool, Graph Transformations, pp.383-397, 2006. ,
DOI : 10.1007/11841883_27
The Design of GP 2, International Workshop on Reduction Strategies in Rewriting and ProgrammingWRS), pp.1-16, 2012. ,
Automated Merging of Feature Models Using Graph Transformations, Generative and Transformational Techniques in Software Engineering II, pp.489-505, 2008. ,
DOI : 10.1007/978-3-540-88643-3_15
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching, 6th International Workshop on Theory and Application of Graph Transformatons (TAGT), pp.238-251, 1998. ,
DOI : 10.1007/978-3-540-46464-8_17
GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching, Graph-Based Representations in Pattern Recognition, pp.71-80, 2013. ,
DOI : 10.1007/978-3-642-38221-5_8
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, 2014 IEEE 23rd International WETICE Conference, pp.80-85, 2014. ,
DOI : 10.1109/WETICE.2014.23
URL : https://hal.archives-ouvertes.fr/hal-01097074
FADYRCOS, a semantic interoperability framework for collaborative model-based dynamic reconfiguration of networked services, Computers in Industry, vol.63, issue.8, pp.756-765, 2012. ,
DOI : 10.1016/j.compind.2012.08.007
URL : https://hal.archives-ouvertes.fr/hal-00678717
Energy-QoS tradeoffs in J2EE hosting centres, International Journal of Autonomic Computing, vol.2, issue.1, pp.54-72, 2014. ,
DOI : 10.1504/IJAC.2014.059112
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2002. ,
DOI : 10.1007/978-3-540-88808-6_2
Using Complex Event Processing for Dynamic Business Process Adaptation, 2010 IEEE International Conference on Services Computing, pp.466-473, 2010. ,
DOI : 10.1109/SCC.2010.48
URL : https://hal.archives-ouvertes.fr/inria-00482578
Aurora, Proceedings of the 2003 ACM SIGMOD international conference on on Management of data , SIGMOD '03, pp.120-139, 2003. ,
DOI : 10.1145/872757.872855
STREAM: The Stanford Data Stream Management System, 2004. ,
DOI : 10.1007/978-3-540-28608-0_16
TimeStream, Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys '13, p.1, 2013. ,
DOI : 10.1145/2465351.2465353
StreamCloud: A Large Scale Data Streaming System, 2010 IEEE 30th International Conference on Distributed Computing Systems, pp.126-137, 2010. ,
DOI : 10.1109/ICDCS.2010.72
Processing flows of information, ACM Computing Surveys, vol.44, issue.3, pp.1-62, 2012. ,
DOI : 10.1145/2187671.2187677
A Middleware Platform to Federate Complex Event Processing, 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, pp.113-122 ,
DOI : 10.1109/EDOC.2012.22
URL : https://hal.archives-ouvertes.fr/hal-00700883
The CQL continuous query language: semantic foundations and query execution, The VLDB Journal, vol.Francisco, issue.1, pp.121-142, 2005. ,
DOI : 10.1007/s00778-004-0147-z
Towards a streaming SQL standard, Proceedings of the VLDB Endowment, vol.1, issue.2, pp.1379-1390, 2008. ,
DOI : 10.14778/1454159.1454179
Languages for Complex Event Processing and Querying Surveyed, Reasoning in Event-Based Distributed Systems SE -3, pp.47-70, 2011. ,
SQPR: Stream query planning with reuse, 2011 IEEE 27th International Conference on Data Engineering, pp.840-851, 2011. ,
DOI : 10.1109/ICDE.2011.5767851
The design of the Borealis stream processing engine, Proceedings of the Second Biennial Conference on Innovative Data Systems Research, pp.277-289, 2005. ,
Maximizing the Output Rate of Multiway Join Queries over Streaming Information Sources, Proceedings of the 29th International Conference on Very Large Data Bases - of VLDB '03, pp.285-296, 2003. ,
Query Analyzer and Manager for Complex Event Processing as a Service, 2014 IEEE 23rd International WETICE Conference, pp.107-109, 2014. ,
DOI : 10.1109/WETICE.2014.53
Security in an autonomic computing environment, IBM Systems Journal, vol.42, issue.1, pp.107-118, 2003. ,
DOI : 10.1147/sj.421.0107
Diet: A Scalable Toolbox to Build Network Enabled Servers on the Grid, International Journal of High Performance Computing Applications, vol.20, issue.3, pp.335-352, 2006. ,
DOI : 10.1177/1094342006067472
URL : https://hal.archives-ouvertes.fr/hal-01429867
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation, ECEASST, p.41, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00828532
Compositionality in Graph Transformation, Automata, Languages and Programming, pp.309-320, 2010. ,
DOI : 10.1007/978-3-642-14162-1_26
Pattern composition in graph transformation rules, European Workshop on Composition of Model Transformations, 2006. ,
Towards management of machine to machine networks, 2011 13th Asia-Pacific Network Operations and Management Symposium, pp.1-7, 2011. ,
DOI : 10.1109/APNOMS.2011.6077041
ETSI Technical Specification 102 689 Machine-to-Machine communications (M2M) ; M2M service requirements, 2010. ,
ETSI Technical Specification 102 690 Machine-to-Machine communications (M2M) ; Functional architecture, 2011. ,
ETSI Technical Specification 102 921, Machine-to-Machine communications (M2M) ; mIa, dIa and mId interfaces, 2012. ,
OM2M: Extensible ETSI-compliant M2M Service Platform with Self-configuration Capability, Procedia Computer Science, vol.32, issue.0, pp.1079-1086, 2014. ,
DOI : 10.1016/j.procs.2014.05.536
Architecture Modeling Language Based on UML2.0, Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC), pp.663-669, 2004. ,
ETSI Technical Report 102 691, Machine-to-Machine communications (M2M) ; Smart Metering Use-Cases, 2010. ,
Self-management of machineto-machine communications : a multi-models approach, International Journal of Autonomous and Adaptive Communications System ,
Energy-aware service allocation, Future Generation Computer Systems, vol.28, issue.5, pp.769-779, 2012. ,
DOI : 10.1016/j.future.2011.04.018
Ll(*) : the foundation of the antlr parser generator. SIG- PLAN Not, pp.425-436, 2011. ,
Using constraint-based optimization and variability to support continuous self-adaptation, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.486-491, 2012. ,
DOI : 10.1145/2245276.2245370
URL : https://hal.archives-ouvertes.fr/inria-00632269
On notation for ordinal numbers, The Journal of Symbolic Logic, vol.28, issue.04, pp.150-155, 1938. ,
DOI : 10.1215/S0012-7094-36-00227-2
Introduction to metamathematics, volume 1 of Bibliotheca mathematica, 1952. ,
Ahmed Hadj Kacem, and Alberto Calixto Simon. A graph transformation-based approach for the validation of checkpointing algorithms in distributed systems, IEEE 23rd International WETICE Conference, pp.80-85, 2014. ,
An energy efficient approach to virtual machines management in cloud computing, 2014 IEEE 3rd International Conference on Cloud Networking (CloudNet), pp.229-235, 2014. ,
DOI : 10.1109/CloudNet.2014.6968997
URL : https://hal.archives-ouvertes.fr/hal-01390842
Frameself : An ontology-based framework for the selfmanagement of m2m systems, Concurr. Comput. Pract. Exp, 2013. ,
Hybrid Approach for Energy Aware Management of Multi-cloud Architecture Integrating user Machines, Journal of Grid Computing, vol.44, issue.4 ,
DOI : 10.1007/s10723-015-9342-y
URL : https://hal.archives-ouvertes.fr/hal-01228290