Search

L’histoire du sentiment national doit se faire dans une perspective internationale : cette évidence qui s’impose aujourd’hui à tous les historiens a conduit la Casa de Velázquez, fidèle à sa grande tradition d’histoire politique, à organiser ce colloque international qui propose une perspective comparative originale centrée sur l’Europe méridionale. Avant d’esquisser dans ce propos introductif les apports d’une telle démarche et les questions qu’elle a permis de mieux cerner, c’est pour moi u...

La division religieuse a provoqué en France, dans la seconde moitié du xvie siècle, une interrogation sur l’identité française et sur sa capacité à résister aux forces d’éclatement. À partir du vieux thème de la « liberté franque », caractérisée, à l’extérieur, par l’indépendance à l’égard des puissances étrangères et, à l’intérieur, par l’exigence de consentement des sujets à l’impôt, des penseurs ont tenté de forger un sentiment national susceptible de transcender les différences confessionnelles. Trois étapes se distinguent dans la constitution de l’image du « bon Français » : l’argumentation formulée par les conjurés d’Amboise en 1560, incriminant la tyrannie des Guises, ces « étrangers » qui veulent dénaturer les lois du royaume ; les prises d’armes du prince de Condé en 1567 et 1568, légitimées par la défense du « bien public », entendu comme un patrimoine national ; enfin, la polémique postérieure à la Saint-Barthélemy, accusant les conseillers italiens du roi de vouloir abolir la liberté des Français. Ces efforts pour mettre l’amour de la liberté au cœur de l’identité française seront mis en échec à la fin des guerres civiles par une autre image du « bon Français », défini par son obéissance au roi. En la segunda mitad del siglo xvi la división religiosa suscitó en Francia un cuestionamiento sobre la identidad francesa y sobre su capacidad para resistirse a los impulsos de fragmentación. A partir del viejo tema de la «libertad franca», caracterizada en el exterior por la independencia frente a las potencias europeas, y en el interior por el requisito de consentimiento de los súbditos para los impuestos, algunos pensadores intentaron forjar un sentimiento nacional susceptible de trascender las diferencias confesionales. Se pueden distinguir tres etapas en la forja de la imagen del «buen francés»; el argumento formulado por los conjurados de Amboise en 1560, que incriminaba la tiranía de los Guisa, esos «extranjeros» que pretendían desnaturalizar las leyes del reino; los alzamientos del príncipe de Condé en 1567 y 1568, legitimados por la defensa del «bien público» entendido como patrimonio nacional; por último, la polémica consiguiente a la noche de San Bartolomé, en la que se acusaba a los consejeros italianos del rey de querer abolir la libertad de los franceses. Estos intentos, que pretendían fundamentar la identidad francesa en el amor a la libertad, decaen al término de las guerras civiles dando paso a otra imagen del «buen francés» que se definirá por su obediencia al rey. In the second half of the 16th century religious division in France brought into question French identity and its capacity to resist centrifugal forces. Basing themselves on the old notion of «Frankish liberty», characterised externally by independence vis-à-vis foreign powers and internally by the demand for the subjects’ consent to taxation, thinkers attempted to forge a national sentiment capable of transcending differences of faith. We can identify three stages in the construction of the image of the «bon Français»: the line of argument espoused by the Amboise conspirators in 1560, denouncing the tyranny of the Guises as «foreigners» who sought to distort the kingdom’s laws; the risings of the Prince de Condé in 1567 and 1568, justified as defending the «public good» defined as a national heritage; and lastly the controversy following St. Bartholomew’s Eve, in which the king’s Italian counsellors were accused of seeking to abolish the freedom of the French people. These efforts to place the love of freedom at the core of French identity would be checked at the close of the civil wars by another image of the «bon Français», defined by obedience to the king.

Scipione Ammirato fut un remarquable écrivain, historien et penseur politique de l’époque de la Contre-Réforme, bien connu des spécialistes des origines et des évolutions de la raison d’État à la fin du xvie siècle. Dans cet article, néanmoins, nous n’étudierons que quelques-uns des témoignages des Opuscules (recueillis et publiés de nombreuses années après sa mort, entre 1636 et 1642), consistant en une polémique avec Machiavel. En effet, dans certaines pages des Discours, celui-ci aurait accusé l’Église romaine d’avoir été le principal obstacle à l’unification de l’Italie sous un seul pouvoir politique et d’être, par conséquent, responsable de son déclin. Ammirato expose les raisons qui, selon lui, contredisent un tel jugement. Mais surtout, il insiste sur la complexité de l’explication des causes historiques qui, après la chute de l’Empire romain, provoquèrent et entretinrent la division politique en Italie. Il en vient à la conclusion qu’une réunification aurait eu de très graves conséquences, extrêmement négatives et préjudiciables. Scipione Ammirato fue un destacado literato, historiógrafo, pensador político de la época de la Contrarreforma, bien conocido de los estudiosos de los orígenes y de las evoluciones tardo-quinientistas de la razón de Estado. En esta prueba, se examina, sin embargo, sólo un pequeño grupo de testimonios recogidos y publicados en los Opúsculos (impresos y recopilados muchos años después de su muerte, entre el 1636 y el 1642) cuyo argumento era una polémica dirigida contra aquellas páginas de los Discursos donde Maquiavelo habría acusado a la Iglesia romana de haber sido el mayor obstáculo a la unificación de Italia bajo un poder político único, y por lo tanto, la responsable de su decadencia. Ammirato exponía las razones que, a su entender, desmentían tal juicio. Pero, sobre todo, insistía en la compleja explicación de las causas históricas que, después de la caída del imperio romano, habían provocado y mantenido después constantemente la división política de Italia, llegando a la conclusión de que una reunificación habría tenido gravísimas consecuencias, absolutamente negativas y extremadamente dañosas. Scipione Ammirato was a prominent literary figure, historian and political thinker of the Counter-Reformation period, well known to students of the origins and late 16th-century morphologies of the Reason of State. This essay, however, examines only a small set of writings collected and published in the Opusculi (printed and compiled many years after his death, between 1636 and 1642) containing his arguments against those parts of the Discourses where Machiavelli had accused the Church of Rome of having been the chief obstacle to the unification of Italy under a single political power, and hence of having been responsible for Italian decadence. There, Ammirato set forth the considerations that in his opinion gainsaid such a view. But the insistent theme of these was above all a complex explanation of the historical causes which after the fall of the Roman Empire had first produced and thereafter constantly maintained Italy’s political division, concluding that reunification would have had serious negative and highly injurious consequences.

On analysera ici l’emploi de termes tels que « nation » et « patrie » par les historiens des xvie et xviie siècles. À partir notamment des textes d’Esteban de Garibay, Juan de Mariana, Antonio de Herrera y Tordesillas, Jerónimo de Zúrita ainsi que d’autres historiens liés à la Couronne d’Aragon, on montrera que « nation » et « patrie » n’ont pas été des concepts opposés. Au contraire, dans l’usage des historiens de l’époque moderne, « nation » et « patrie » étaient des termes plastiques n’ayant pas de définition précise. On observe également une harmonisation progressive de « nation » – lié au concept encore abstrait d’Espagne, ou à celui de monarchie – et de « patrie », qui renvoyait aux différents royaumes d’Aragon, de Castille, de Galice, de Valence, etc. Este ensayo analiza la manera en que los historiadores de los siglos xvi y xviii utilizaban tales términos como «nación», y «patria». Citando, entre otros, los escritos de Esteban de Garibay, Juan de Mariana, Antonio de Herrera y Tordesillas, junto con Jerónimo de Zurita y otros historiadores vinculados a la Corona de Aragón, demuestra que «nación» y «patria» no fueron conceptos opuestos. Más bien, intenta demostrar que, en manos de los historiadores de la época moderna, «nación» y «patria» eran términos maleables y empleados sin definiciones muy fijas. También eran utilizados para armonizar las relaciones entre «nación» –que solía estar vinculado con el concepto, todavía abstracto de España, o aún con la monarquía– y «patria», término conectado con los distintos reinos de Aragón, Castilla, Galicia, Valencia, etc. This essay analyses the way in which the historians in the i6th and 17th centuries used such terms as «nation» and «fatherland». Citing inter alia the writings of Esteban de Garibay, Juan de Mariana, Antonio de Herrera y Tordesillas, along with Jerónimo de Zúrita and other historians linked to the Crown of Aragon, it shows that «nation» and «fatherland» were not opposing concepts. It seeks rather to show that in the hands of the historians of modern times, «nation» and «fatherland» were malleable terms, used without really set definitions. They were also used to harmonise relations between «nation» –normally linked to the still-abstract notion of Spain, or even to the monarchy– and «fatherland» [patria], a term connected with the various kingdoms of Aragon, Castile, Galicia, Valencia, etc.

En raison de la diffusion de la Réforme en Italie et de l’intérêt suscité par le débat religieux dans toutes les couches de la société, Rome fit de l’inaccessibilité du patrimonium fidei à la masse des fidèles un objectif fondamental. L’Inquisition et l’index des livres interdits ont progressivement réduit les espaces conquis par la langue vulgaire et qui avaient permis aux laïcs, aux clercs et aux religieux de suppléer l’ignorance croissante du latin. Décidée à combattre deux principes sur lesquels les protestants basaient la rénovation spirituelle – la connaissance de l’Écriture et l’intelligibilité des pratiques religieuses –, l’Église interdit, outre la lecture de la Bible et des textes pieux à contenu biblique, la rédaction de commentaires bibliques, d’œuvres théologiques et de controverses en italien. De cette façon, elle finit par éloigner les Italiens d’une expérience consciente de la foi et d’une approche personnelle de la connaissance de Dieu, ce qui détermina certains des caractères propres à l’identité religieuse, morale et civile de la nation. L’article retrace les étapes d’un projet pédagogique qui visait à contrôler plus étroitement les esprits et les consciences des fidèles, les maintenant dans le rôle d’éternels enfants. A resultas de la difusión de la Reforma en Italia y del interés suscitado por el debate religioso en todos los estratos de la sociedad, Roma hizo de la inaccesibilidad del patrimonium fidei para las masas de creyentes un objetivo fundamental. La Inquisición y el Índice de los libros prohibidos erosionaron progresivamente los espacios conquistados por el vulgo, gracias a lo cual los laicos, clérigos y religiosos habían podido suplir la creciente ignorancia del latín. Decidida a arrancar dos principios sobre los cuales los protestantes fundamentaban la renovación espiritual –el conocimiento de la Escritura y la inteligibilidad de las prácticas religiosas– la Iglesia prohibió, además de la lectura de la Biblia y de los textos devotos de contenido bíblico, la redacción de comentarios bíblicos, de obras teológicas y de controversia en italiano. De esta manera acabó por alejar a los italianos, de una experiencia de fe consciente, y de un acercamiento personal al conocimiento de Dios, determinando algunos caracteres peculiares de la identidad religiosa, moral y civil de la nación. El ensayo reconstruye las etapas de un proyecto pedagógico que miraba al ejercicio de un control más penetrante de las mentes y de las conciencias de los fieles, reduciéndoles al papel de eternos niños. In response to the spread of the Reformation in Italy and the interest aroused by the religions debate at all levels of society, Rome set Itself the fundamental goal of rendering the patrimonium fidei inaccessible to the mass of believers. The Inquisition and the Index of forbidden books progressively took back the ground won by the common tongue, thanks to which laymen, clergy and religions orders had been able to compensate for the growing ignorance of Latin. Resolved to eradicate two principles on which the Protestants had founded their spiritual renovation –knowledge of the Scriptures and intelligibility of religions practices– the Church forbade not only reading of the Bible and of devotional texts with biblical content, but also the writing of biblical commentaries and Works of theology and religions controversy in Italian. In this way it was eventually successful in preventing Italians front partaking of a conscious experience of faith and a personal means to a knowledge of God, thus producing a number of peculiarities in the nation’s religions, moral and civil identity. The essay reconstructs the stages of a pedagogical project designed to achieve a more deeply-penetrating control over the minds and consciences of the faithful, reducing them to the role of eternal children.

La manière d’identifier les étrangers et de les distinguer de natifs (aussi bien appelés « Espagnols ») est au centre de cet article. En analysant la situation en Castille et en Amérique à l’époque moderne jusqu’aux guerres d’indépendance, mon intention est tout d’abord d’examiner la relation entre les débats autour du statut de natif en Castille (jusqu’au xviie siècle) et en Espagne (au xviiie siècle), leur mise en œuvre et leur évolution en Amérique espagnole, puis de démontrer la nature complexe des catégories d’appartenance à l’époque moderne. Ces catégories distinguaient clairement les vassaux des natifs et soutenaient que l’attribution des droits et privilèges dans le royaume dépendaient de la naturaleza (le statut de natif) et non du vasselage. De la même manière, elles finissaient par établir une relation directe entre appartenance locale (vecindad) et naturaleza. L’évolution en Amérique confirme ces conclusions et démontre que, dans les colonies, les critères castillans furent utilisés d’une manière différente dans quelques cas et similaire dans d’autres. El artículo se centra en la manera de identificar a los extranjeros y de distinguirlos de los nativos (por otro lado llamados «españoles»). Al analizar la situación en Castilla y América en la época moderna hasta las guerras de independencia me propongo en primer lugar examinar la relación entre los debates sobre el estatuto del nativo en Castilla (hasta el siglo xvii) y en España (en el siglo xviii), así como su implantación y su evolución en la América española; y en segundo lugar demostrar la compleja naturaleza de las categorías de pertenencia en la época moderna. Dichas categorías distinguían claramente a los vasallos de los nativos, y sostenían que la concesión de derechos y de privilegios en el reino dependían de la naturaleza (el estatuto del nativo) y no del vasallaje. Así, terminaron por establecer una relación directa entre pertenencia local (vecindad) y naturaleza. La evolución en América confirma estas conclusiones y demuestra que en las colonias se utilizaron los criterios castellanos de forma diferente en algunos aspectos y de forma similar en otros. The central point of this article is the means of identifying aliens and distinguishing them from natives (also called «Spaniards»). My intention in analysing the situation in Castile and America in the modern age up to the wars of independence is (i) to examine the relationship between the debates about native status in Castile (up to the 17th century) and in Spain (in the 18th century) and their transfer to and evolution in Spanish America; and (2) to demonstrate the complex nature of categories of belonging in the modem age. These categories clearly distinguished vassals from natives and held that the attribution of rights and privileges in the kingdom depended on naturaleza (native status) and not vassalage. Moreover, they eventually established a direct relationship between local belonging (vecindad) and naturaleza. The evolution that took place in America confirms these conclusions and shows that in the colonies Castilian criteria were applied differently for some aspects and the same for others.

Un manuscrit de 315 folii numérotés, conservé au département des manuscrits de la BNF, donne un étonnant récit « des visions et des songe et des révélasions de dieu et de la saincte vierge et des saincts et des ange et des homme dans leglise militant arivé en la personne de frere fiacre de saincte marguerite, augustin des chausse indigne ». En effet, durant une cinquantaine d’années, Denis Antheaulme, né le 21 février 1609 et entré en religion le 20 mai 1632, quêteur du couvent de Notre-Dame des Victoires de Paris, vécut dans un univers visionnaire au centre duquel se trouvait le roi de Dieu donné, Louis XIV. Une autre figure de la monarchie du second xviie siècle surgit ainsi, celle d’une monarchie merveilleuse, miraculeuse, appréhendée au sein d’un processus de fusion mythique entre le pouvoir souverain et le peuple qu’il gouverne. Louis XIV s’y impose comme un nouveau Christ, un roi né d’une grâce, détenteur d’une vertu qui fait que les Français ne peuvent en retour que s’identifier pleinement à leur roi, vivant pour sa gloire et sa défense dans leur engagement contre les adversaires de l’État royal. Les visions du frère Fiacre de Sainte-Marguerite évoquent ainsi l’ébauche d’une « conscience nationale » qui voulait prendre sa dynamique dans une émotion sacrée de la France en gloire par les actes d’une monarchie sainte et providentielle. Un manuscrito de 315 folios numerados, conservado en el departamento de manuscritos de la BNF, aporta un curioso relato « des visions et des songe et des révélasions de dieu et de la saincte vierge et des saincts et des ange et des homme dans leglise militant arivé en la personne de frere fiacre de saincte marguerite, augustin des chausse indigne ». Denis Antheaulme, nacido el 21 de febrero de 1609, había entrado en religión el 20 de mayo de 1632; limosnero del convento de Notre-Dame des Victoires de Paris, vivió, en efecto, durante casi cinco décadas, en un universo visionario en cuyo centro se encontraba el rey Dieu donné, Luis XIV. Surge así otra imagen de la monarquía de la segunda mitad del siglo xvii, la de una monarquía maravillosa, milagrosa, aprehendida en el seno de un proceso de fusión mística entre el poder soberano y el pueblo al que gobierna. Luis XIV se impone como un nuevo Cristo, un rey nacido de la gracia, poseedor de una virtud que hace que los franceses no tengan más remedio que identificarse plenamente con su rey, viviendo para su gloria y su defensa en su compromiso contra los adversarios del Estado real. Las visiones del hermano Fiacre de Sainte-Marguerite evocan así el esbozo de una «conciencia nacional» que pretendía tomar fuerza de la emoción sagrada de una Francia gloriosa por los actos de una monarquía santa y providencial. A manuscript of 315 numbered folii stored in the manuscripts department of the BNF gives an astonishing account « des visions et des songe et des révélasions de dieu et de la saincte vierge et des saincts et des ange et des homme dans leglise militant arivé en la personne de frere fiacre de saincte marguerite, augustin des chausse indigne ». And indeed for fifty years Denis Antheaulme, born on 21 February 1609 and received into the Church on 20 May 1632, collector at the monastery of Notre-Dame des Victoires in Paris, inhabited a visionary universe at whose centre stood the God-given king, Louis XIV. Thus emerged another face of the monarchy of the second half of the 17th century –that of a wondrous, miraculous monarchy, apprehended through a process of mythical fusion between the sovereign power and the people governed by it. Louis XIV took his place there as a new Christ, a king born of grace, possessor of a virtue in response to which the French people could do no other than identify fully with their king, living for his glory and his defence as they stood firm against the adversaries of the royal State. The visions of frère Fiacre de Sainte-Marguerite thus conjure up the faint beginnings of a « national consciousness » whose source of strength lay in a feeling of the sacredness of France, glorified by the deeds of a saintly and providential monarchy.

L’article porte sur l’Italie des anciens États à la lumière des réflexions actuelles sur la « construction » de l’identité qui, en général, ne prennent pas en compte les particularités culturelles et politiques de l’Ancien Régime. On n’étudie pas ici le sentiment de l’appartenance italienne par opposition à d’autres nationalités ; on s’attache plutôt aux diverses perceptions identitaires qui coexistent dans le contexte de l’affirmation des dynasties de la Renaissance puis de l’« époque espagnole ». Le sentiment d’appartenance qui s’exprime socialement dans le microcosme des corporations et des confréries (les unes et les autres profondément marquées par le sentiment religieux et les pratiques pieuses) est étroitement lié à l’affirmation de nouvelles identités sous l’impulsion des élites urbaines et des pouvoirs princiers. Pour rendre compte de cette complexité, il est nécessaire de remonter aux mémoires basées sur des traditions religieuses, politiques et administratives souvent négligées par une historiographie centrée sur les questions de la conscience nationale et de la construction de « l’État moderne ». On constate ainsi que la dynastie princière, pour constituer un nouveau « corps » politique unifié, feint de dialoguer avec les sentiments d’appartenance et les intérêts des représentations des citoyens ou des territoires, en un processus de consolidation réciproque (la politique extérieure comme domaine d’affirmation de la souveraineté mérite une attention particulière). Les États régionaux de la péninsule parviennent de cette manière à une stabilité politique durable, malgré des résistances parfois très importantes. Enfin, on étudie le lien organique entre le Siège apostolique, les maisons régnantes et les aristocraties italiennes ; celles-ci se caractérisent également par leur identité « romaine » qui se perpétue en dépit de conflits juridictionnels intermittents, ce qui aura d’importantes conséquences politiques. La colaboración considera la Italia de los antiguos Estados a la luz de las actuales reflexiones sobre la «construcción» de la identidad que, en general, no se ocupan de las especificidades culturales y políticas del Antiguo Régimen. La atención, no se dirige aquí al problema del sentimiento de pertenencia italiana en contraposición con otras nacionalidades; más bien se concentra sobre las distintas percepciones identitarias que coexisten en los contextos históricos de la afirmación de las dinastías renacentistas y de la siguiente «época española». El sentido de pertenencia que se expresa a nivel social en el microcosmos de las asociaciones corporativas y en las confraternidades (ambas connotadas profundamente por el sentimiento religioso y por las prácticas devotas) se encuentra en estrecha relación con la dinámica de afirmación de nuevas identidades bajo el impulso de los patriciados urbanos y de los poderes principescos. Para dar cuenta de esta complejidad, es necesario remontarse a aquellas memorias basadas en tradiciones religiosas, políticas y administrativas a menudo desdeñadas por una historiografía concentrada en las cuestiones de la conciencia nacional y de la edificación del «Estado moderno». Bajo esta luz, la acción de la dinastía principesca para afirmar un nuevo «cuerpo» político unitario finge dialogar con los sentimientos de pertenencia y los intereses de las representaciones ciudadanas o territoriales, en un proceso de recíproca consolidación (especial atención merece la política extranjera como ámbito de afirmación de la soberanía). Los Estados regionales de la península, consiguen de esta manera una estabilidad política de largo alcance, a pesar de episodios de resistencia a veces de gran importancia. Por último, se considera el vínculo fisiológico que ligaba a la Sede apostólica las casas reinantes y las aristocracias italianas; éstas se caracterizan también por una identidad «romana» que se perpetua a pesar de los intermitentes conflictos jurisdiccionales, con importantes consecuencias políticas. This essay examines the old Italy of the States in the light of present-day ideas on the «construction» of identity, which do not generally address specific cultural and political features of the Ancien Régime. The question discussed here is not that of the feeling of being Italian as opposed to other nationalities; it is rather a matter of the different identity perceptions coexisting in the historical contexts first of affirmation of the renaissance dynasties and then of the «Spanish period». The feeling of belonging that is expressed socially in the microcosm of corporate associations and confraternities (both strongly connoted by religious sentiment and devotional practices) is closely tied to the dynamics of affirmation of new identifies driven by urban patriciates and princely powers. To account for this complexity we need to hark back to memories based on religions, political and administrative traditions which are frequently overlooked by a historiography that focuses on questions of national consciousness and the construction of the «modern State». From this perspective, the action of the princely dynasty in affirming a new unitary «body politic» takes the guise of dialogue with feelings of belonging and the interests of urban or territorial entities, in a process of reciprocal consolidation (foreign policy is of particular interest as a sphere for affirmation of sovereignty). In this way the regional States of the Italian peninsula achieved long-term stability despite sometimes serious episodes of resistance. And finally, the essay examines the physiological bond linking the Italian reigning houses and aristocracies to the Holy See; these likewise possessed a «Roman» identity which was perpetuated despite intermittent jurisdictional disputes, with major political consequences.

Jean-Frédéric Schaub L’évidence de l’identité nationale est aujourd’hui soumise à une double offensive. Sur le plan politique et institutionnel, l’échelle régionale et l’échelle européenne se sont consolidées, y compris dans des pays non fédéraux, tels que l’Espagne et le Royaume-Uni. Sur le plan de la recherche en histoire, les grands récits de la genèse et de la consolidation de l’État-nation se trouvent aujourd’hui concurrencés par d’autres approches des processus de politisation et de socialisation aux époques moderne et contemporaine. Mais la critique efficace des illusions du discours national ne peut pleinement satisfaire la nécessité de comprendre les formes d’adhésion aux structures collectives. De ce point de vue, le cas espagnol offre un exemple limite, dans la mesure où les efforts conjugués du régionalisme et de la critique intellectuelle ont fini par exclure le terme España du vocabulaire spontané. La communication précise le sens que les acteurs des xvie et xviie siècles pouvaient donner aux expressions España, Great Britain et France. Elle propose de réfléchir, enfin, aux formes d’identification de l’Europe occidentale comme siège de la civilité par opposition à la barbarie externe. La evidencia de la identidad nacional se ve hoy sometida a una doble ofensiva. En el plano político e institucional se han consolidado las escalas regional y europea, incluso en países que no son federales, como España o Gran Bretaña. En el piano de la investigación histórica, los grandes relatos de la génesis y de la consolidación del Estado-nación compiten con otros enfoques de los procesos de politización y de socialización en las épocas moderna y contemporánea. Ahora bien, la crítica eficaz de las ilusiones del discurso nacional no puede satisfacer plenamente la necesidad de comprender las formas de adhesión a las estructuras colectivas. Desde este punto de vista, el caso español ofrece un ejemplo límite, en la medida en que los esfuerzos conjugados del regionalismo y de la crítica intelectual han terminado por excluir el término «España» del vocabulario espontáneo. Este estudio precisa el sentido que los hombres de los siglos xvi y xvii podían dar a las expresiones España, Great Britain y France. Propone reflexionar, por último, sobre las formas de identificación de la Europa occidental como depositaria de la civilidad en oposición a la barbarie externa. National identity as an obvious fact is today under pressure on two fronts. Politically and institutionally, the regional and European levels are now consolidated, even in non-federal countries like Spain and the United Kingdom. In the sphere of historical research, the grand accounts of the birth and consolidation of the nation-State now face competition from other approaches to the process of politicisation and socialisation in the modem and contemporary ages. However, an effective critique of the illusions of national discourse cannot fully satisfy the need to understand the forms of adherence to collective structures. From this standpoint, the Spanish case is an extreme example inasmuch as the combined pressures of regionalism and intellectual criticism have finally banished the term España from spontaneous utterance. This paper examines the sense with which the movers of the 16th and 17th centuries could imbue the expressions España, Great Britain and France. In a word, it seeks to throw light on the forms whereby Western Europe is identified as a seat of civilised society in contrast to the barbarism prevailing outside.

Aux origines de l’idée et du sentiment d’italianité, on trouve une relation héréditaire et sans solution de continuité avec la Rome antique. Cela permit à Dante Alighieri d’insérer sans difficulté Virgile, Caton et Marc Aurèle dans la vision chrétienne de l’au-delà. La diffusion d’un héritage de mythes et d’images liés à l’epos troyen, eut lieu par des voies qui n’ont pas été encore totalement analysées. Cependant, avec la culture humaniste inaugurée par Pétrarque, apparut l’idée d’une Italie héritière de la grandeur de Rome et la conscience d’une fracture entre le passé et le présent. À partir de là, se constitua une histoire moderne de l’Italie aux xve et xvie siècles, dominée par deux thèmes : la décadence de la grandeur antique et l’espoir d’une renaissance. Il existe une très riche tradition historique autour de ces questions, avec des auteurs comme Flavio Biondo, Leonardo Bruni ou Lorenzo Valla. Ce furent également les thèmes de la réflexion politique et historique de Machiavel au moment le plus grave de la crise du xvi e siècle. Le renouveau des études sur la réalité italienne concrète eut lieu en plein xvie siècle, sous le signe de l’hégémonie papale et catholique comme en témoigne l’œuvre de fray Leandro Alberti. En los orígenes de la idea y del sentimiento de italianidad, encontramos la tradición de una relación hereditaria nunca interrumpida con la Roma antigua. Esto permitió a Dante Alighieri incluir sin dificultad a Virgilio, a Catón y a Marco Aurelio, en la visión cristiana del más allá. La difusión de una herencia de mitos y de imágenes vinculada al epos troyano, se produce a través de canales aún no del todo explorados. Pero fue con la cultura humanística inaugurada por Francesco Tetrarca, cuando se abrió camino la idea de una Italia heredera de la grandeza romana y la conciencia de una fractura entre presente y pasado. A partir de aquí se desarrolló una historiografía moderna sobre Italia entre el 400 y el 500, dominada por dos temas: la decadencia de la antigua grandeza y la espera del renacimiento. Alrededor de estos temas se concentró una riquísima tradición historiográfica, con autores como Flavio Biondo, Leonardo Bruni, Lorenzo Valla. Estos fueron también los temas de la reflexión política e histórica de Maquiavelo en el momento más grave de la crisis italiana del 500. La reanudación de los estudios sobre la concreta realidad de Italia, se produjo en pleno 500 bajo el signo de la hegemonía papal y católica, como muestra la obra de fray Leandro Alberti. At the origin of the notion and the sentiment of Italianness lies an unbroken hereditary relationship with ancient Rome. And thanks to it, Dante Alighieri was able without difficulty to place Virgil, Cato and Marcus Aurelius in the Christian vision of the hereafter. The channels through which a heritage of myths and images linked to the Trojan epos was disseminated are yet to be fully explored. But it is with the humanist culture of Francesco Petrarca that we see the emergence of the notion of Italy as heir to the greatness of Rome and the consciousness of a break between past and present. That was the basis on which a modem historiography of Italy developed between the 15th and 16th centuries, with two predominant themes: the decline of ancient greatness and the hope of renaissance. A rich historiographic tradition grew up around these topics, with exponents such as Flavio Biondo, Leonardo Bruni and Lorenzo Valla. These were the subjects of Machiavelli’s political and historical reflection at the apogee of the Italian crisis of the 16th century. It was well into the 16th century that the resumption of studies on the concrete reality of Italy came, in a context of papal and Catholic hegemony as illustrated by the work of Fray Leandro Alberti.

Les généalogies fabuleuses d’Annius de Viterbe, publiées à Rome en 1498, qui permettaient aux différentes nations européennes de se trouver des ancêtres au lendemain du déluge, ont connu des succès divers en Europe au XVIe siècle et, notamment, en France et en Espagne, ici considérées. Introduites en France par Jean Lemaire de Belges au début du siècle, ces généalogies connurent leur heure de gloire avec l’épanouissement du mythe gaulois, dans les années 1550-1560. En Espagne, en revanche, leur succès fut immédiat. Les vingt-quatre rois d’Annius permettaient non seulement de simplifier une histoire des origines sur laquelle des générations avaient déjà beaucoup brodé mais, en outre, ils constituaient un argument décisif en faveur des Espagnols dans leur lutte pour la primauté contre leurs rivaux français. Tous les historiens firent leur cette liste, sans trop y regarder. La critique historique, en dépit des réserves multiples énoncées ici et là, eut peu de prise sur les « forgeries » d’Annius car il s’agissait d’un faux de « qualité » qui répondait aux interrogations du temps et satisfaisait aussi l’orgueil des différents États à même, désormais, d’affirmer leur noblesse et leur autonomie par rapport à l’histoire romaine et, plus généralement, leur identité face à l’Italie humaniste. Las genealogías fabulosas de Annio de Viterbo, publicadas en Roma en 1498, que permitían a las diferentes naciones europeas dotarse de antepasados que remontaban al diluvio, conocieron un desigual éxito en la Europa del siglo xvi, especialmente en Francia y España, países aquí considerados. Introducidas en Francia por Jean Lemaire de Belges a comienzos del siglo, tuvieron su hora de gloria con el florecimiento del mito galo en los años 1550-1560. En España, sin embargo, su éxito fue inmediato. Los veinticuatro reyes de Annio permitían no sólo simplificar una historia de los orígenes embellecida por muchas generaciones, sino que además constituían un argumento decisivo a favor de los españoles en su lucha por la primacía contra sus rivales franceses. Todos los historiadores se apropiaron de la lista sin prestarle demasiada atención. La crítica histórica, a pesar de las múltiples reservas enunciadas aquí y allá, tuvo poco efecto sobre las «invenciones» de Annio, ya que se trataba de una falsificación de «calidad» que respondía a los interrogantes de la época a la vez que satisfacía el orgullo de los diferentes Estados, que se veían autorizados desde entonces para afirmar su nobleza y su autonomía respecto a la historia romana y, más en general, su identidad frente a la Italia humanista. The fanciful genealogies of Annius of Viterbo published at Rome in 1498, which allowed the different nations of Europe to trace their ancestors back to the time following the Flood, achieved varying success in 16th-century Europe, particularly in France and Spain, the cases considered here. Introduced to France by Jean Lemaire de Belges at the beginning of the century, these genealogies enjoyed their moment of glory with the blossoming of the Gaulish myth in the years 1550-1560. In Spain, on the other hand, their success was immediate, The twenty-four kings counted by Annius not only simplified a history of origins which several generations had already embroidered, but they further lent the Spanish a decisive argument in their bid for primacy against their French rivals. All historians accepted this list without looking very much askance. Despite various reservations expressed here and there, historical criticism made little headway against Annius’s «forgeries», for this was «quality» counterfeiting which settled the doubts of the time and further assuaged the pride of the different States, besides thereafter affirming their nobility and their autonomy with regard to Roman history, and generally confirming their identity in the face of humanist Italy.

Jusqu’aux guerres de Religion, sentiment national et catholicisme vont de pair en France. À la base de ce sentiment national se trouve la triple élection du peuple français, du roi et du pays. Comme les huguenots ne peuvent pas accepter cette triple élection collective et catholique, ils mettent désormais l’accent sur leur patriotisme et leur fidélité au roi, et aussi, après la Saint-Barthélemy, sur leurs droits de sujets naturels. Au xviie siècle, l’élection et le patriotisme se cristallisent de plus en plus dans la personne du roi. Quand le roi – et pas seulement la France – devient « tout catholique », les protestants, séparés du roi et de la nation, commencent à mettre en évidence les motifs bibliques du Royaume céleste, de l’étranger dans son pays et du pélerin-voyageur pour faciliter la séparation qu’ils pressentent déjà. Hasta las guerras de religión, sentimiento nacional y catolicismo van a la par en Francia. El sentimiento nacional se asienta en la triple condición de elegidos del pueblo francés, del rey y del país. Como los hugonotes no pueden aceptar esa triple condición de elegidos colectiva y católica, harán en adelante hincapié en su patriotismo y su fidelidad al rey, y, tras la noche de San Bartolomé, también en sus derechos como súbditos naturales. En el siglo xvii, la condición de elegido y el patriotismo van cristalizándose cada vez con mayor fuerza en la figura del rey. Cuando el rey –y no sólo Francia– se convierte en «Muy católico», los protestantes, separados del rey y de la nación, ponen de manifiesto los motivos bíblicos del Reino celeste, del extranjero en su propia patria, del peregrino-viajero, con el fin de facilitar la separación que ya presienten. Until the Wars of Religion, national feeling and Catholicism in France went hand-In-hand. Underpinning this national feeling was the triple notion of French people, king and country. Since the Huguenots could not accept this collective and Catholic triple notion, they tended thereafter to stress their patriotism and loyalty to the king, and after St. Bartholomew’s Eve also their rights as naturel subjects. In the 17th century, notion and patriotism increasingly crystallised in the person of the king. When the king –and not merely France– became «entirely Catholic», the Protestants, divorced from king and nation, began to call up biblical motifs of the heavenly kingdom, of the stranger in his own land, of the wandering pilgrim, to ease the break which they already presaged.

Le présent article se veut une contribution à l’histoire, encore à faire, de l’idée de chrétienté. On a choisi ici d’aborder la question de la Christianitas par l’entremise d’un exemple, celui de Paolo Sarpi (1552-1623), théologien vénitien qui, pour n’avoir jamais officiellement renoncé à son appartenance confessionnelle à la catholicité, n’en a pas moins défendu des positions antiromaines lors du conflit de l’Interdit vénitien (1606- 1607). Dans le discours sarpien, hanté par le fantôme d’un pontificat post-tridentin pétri de théocratie, il y a la volonté d’en finir avec une idée de chrétienté désormais frappée d’inéluctable péremption. Ainsi s’estompe le rêve chrétientaire de salvifique communauté pour laisser place à une nécessité de sécurité collective fondée sur le système de la balance des forces. Pour Sarpi, Christianitas est un concept historiographique, catégorie datée, donc, qui renvoie à une réalité révolue. El presente artículo pretende ser una contribución a la historia, aún por hacer, de la idea de cristiandad. Hemos elegido aquí abordar la cuestión de la Christianitas a través de un ejemplo, el de Paolo Sarpi (1552-1623), teólogo veneciano que, aun cuando nunca renunció oficialmente a su pertenencia confesional a la catolicidad, defendió posiciones antirromanas durante el conflicto del Interdicto veneciano (1606-1607). En su discurso, obsesionado por el fantasma de un pontificado postridentino henchido de teocracia, es patente la voluntad de acabar con una idea de cristiandad que ya lleva la marca de su inexorable caducidad. Así se esfuma el sueño cristianitario de comunidad salvífica para dar paso a una necesidad de seguridad colectiva fundada en el sistema del equilibrio de fuerzas. Para Sarpi, Christianitas es un concepto historiográfico, categoría fechada, pues, que nos remite a una realidad periclitada. This article is intended to contribute to the as-yet unwritten history of the idea of Christendom. Here we have chosen to address the issue of Christianitas by way of an example, that of Paolo Sarpi (1552-1623), a Venetian theologian who while never officially renouncing his allegiance to the Catholic faith, nonetheless defended anti-Roman positions at the time of the Venetian Interdict (1606-1607). Haunted by the phantasm of a post-Tridentine pontificate in a State of petrified theocracy, Sarpi in his discourse sought to put an end to a notion of Christendom that was henceforth doomed to obsolescence. And thus the dream of Christendom as a ‘salvific community’ faded, to be replaced by a need for collective security based on a System of balance of powers. For Sarpi, Christianitas was a historiographic concept, and hence an outdated notion harking back to a reality that was past and gone.

Si le premier âge moderne a connu l'idée de nation, il n'y a pas mis les mêmes significations que celles qui émergent au xviiie siècle et s'imposent après la Révolution française. Par rapport à d'autres identités, l'appartenance nationale n'est ni exclusive, ni même souvent dominante. Elle n'en reste pas moins l'objet d'un intense processus de création culturelle, des cercles lettrés qui forgent des histoires nationales aux sphères dirigeantes qui lui donnent parfois un sens politique. Ce processus, tout comme les pratiques sociales liées à ce sentiment identitaire, n'est pas nécessairement lié à une structure politique et n'a rien de linéaire, comme le montre la confrontation entre les diverses expériences vécues dans l'Europe méditerranéenne aux xvie et xviie siècles. Le présent colloque s'est donné pour tâche de mettre en contact les recherches menées sur le sentiment national dans trois pays aux situations politiques radicalement différentes, qui conditionnent la diversité des questionnements historiographiques. En même temps, le lien partagé et souvent conflictuel au passé romain, les intenses relations culturelles, les rivalités politiques et dynastiques, la commune adhésion au catholicisme, non sans violence et contestations, créent des interactions et des dynamiques qui justifient cette réflexion commune sur les diverses formes du sentiment national dans l'Europe méditerranéenne de la première modernité.

Comment s’est formé le territoire actuel de l’Espagne ? Plus que par agrégation, par ségrégation. L’Espagne actuelle est ce qui reste une fois la monarchie hispanique amputée du Portugal, des Pays-Bas, de l’Italie et finalement de l’Amérique. L’unité de ce noyau résiduel repose sur l’intensité des liens directs que les élites qui y résidaient purent établir avec le souverain. Directs grâce à la taille du territoire, qui permettait de se passer de relais (à la différence de l’Italie ou de l’Amérique). Réseaux dont l’intensité atténua progressivement les frontières des royaumes qui en son sein restèrent assez vivaces pour qu’il faille attendre la Restauration pour qu’une constitution intitule le souverain roi d’Espagne et non des Espagnes. ¿Cómo se formó el actual territorio de España? Más que por agregación, por segregación. La España actual es lo que queda de la monarquía hispánica una vez que se le han amputado Portugal, Países Bajos, Italia y, por último, América. La unidad de ese núcleo residual se fundamenta en la intensidad de los lazos directos que las elites residentes en él pudieron establecer con el soberano. Directos gracias al tamaño del territorio, que permitía prescindir de intermediarios (a diferencia de lo que ocurría en Italia o América). Estos intensos vínculos atenuaron progresivamente las fronteras de los reinos, que se habían mantenido bastante vivas, hasta el punto de que hubo que esperara la Restauración para que una constitución denominase al soberano rey de España y no de las Españas. How was the present territory of Spain formed? By segregation rather than aggregation. Present-day Spain is what was left to the Spanish monarchy after the loss of Portugal, the Netherlands, Italy and finally America. The unity of this residual core is founded on the intensity of the direct ties that the elites dwelling there were able to forge with the sovereign. These ties were direct thanks to the size of the territory, which made it possible to do without intermediaries (unlike Italy or America). The strength of such networks progressively weakened the frontiers among the kingdoms, which nonetheless retained vitality enough that it was not until the Restoration that a constitution referred to the sovereign as Rey de España and not Rey de las Españas.

Españoles montañeses (Espagnols montagnards) a été l’expression par laquelle, à partir du xviie siècle, on a désigné de façon générique les habitants du Nord de l’Espagne, en particulier dans l’espace compris entre les Asturies et la province de Guipúzcoa. L’appellation impliquait une sorte d’élément sur-identitaire, au sens où, comme l’a dit Julio Caro Baroja, ces Espagnols étaient considérés comme «les plus espagnols des Espagnols». Les españoles montañeses ou montesinos acquièrent une place privilégiée dans l’imaginaire identitaire espagnol de l’Ancien Régime. En concurrençant, voire en remplaçant la traditionnelle identité des Goths, ils apparaissent parfois comme l’origine de l’Espagne. Grâce à une historiographie militante, la province de Guipúzcoa et la Seigneurie de Biscaye devinrent le bastion par excellence de ces montañeses, au cours d’un processus dont la singularité fut accentuée par les changements politiques du xviiie siècle et dont les conséquences se prolongèrent jusqu’aux guerres carlistes du xixe siècle. Le fort contraste entre cette caractérisation et la situation actuelle des territoires basques mérite toute l’attention des historiens. Españoles montañeses fue la expresión con la que, a partir del siglo xviii, se denominó genéricamente a los habitantes del Norte de España, particularmente dentro del espacio comprendido entre Asturias y la provincia de Guipúzcoa. La denominación implicaba una especie de carga sobreidentitaria, en el sentido de que, como ha escrito Julio Caro Baroja, esos españoles eran tenidos por «los más españoles de los españoles». Compitiendo cuando no desbancando a la tradicional identidad goda y reclamando la condición de foyer de España, los españoles montañeses o montesinos se harán con un espacio privilegiado dentro del imaginario identitario español del Antiguo Régimen. Impulsada por una militante historiografía, la provincia de Guipúzcoa y el Señorío de Vizcaya se convertirán en el reducto por excelencia de esos montañeses, dentro de un proceso cuya singularidad se acentuará aún más a raíz de los cambios políticos del siglo xviii y cuyas consecuencias se prolongarán hasta las guerras carlistas del siglo xix, Dado el completo contraste que ofrece esa caracterización en relación con la actual situación de esos territorios vascos, es cuestión que merece la atención de los historiadores. Españoles montañeses was the expression first used in the 17th century as a generic name for the inhabitants of the north of Spain, particularly in the region running from Asturias to the province of Guipúzcoa. Implicit in the name was a species of superidentity in the sense –as Julio Caro Baroja put it– that these Spaniards were considered to be «the most Spanish of all Spaniards». Competing with if not superseding the traditional Gothic identity and asserting themselves as the foyer of Spain, the españoles montañeses or montesinos came to occupy a special place in the identifying imagery of Spain under the Ancien Régime. Carried along by a militant historical tradition, the province of Guipúzcoa and the Lordship of Vizcaya became the redoubt par excellence of those montañeses, in a process whose peculiarity would only be further intensified by the political changes of the 18th century and whose consequences would persist until the Carlist wars of the 19th century. In view of the complete contrast between that characterisation and the present situation of the same Basque territories, it is a subject that clearly merits the attention of historians.

Dans ses royaumes espagnols, Philippe II a cherché tout au long de son règne à renforcer un sentiment national en exploitant sa rivalité avec la France. Mettant à profit les troubles civils et religieux de la monarchie voisine, il s’est attaché à apparaître comme le premier d’entre les princes chrétiens et le seul véritable souverain luttant contre le protestantisme, flattant le sentiment d’élection de ses sujets espagnols. Ce relatif succès ne doit cependant pas être interprété comme le seul fruit des efforts du pouvoir royal. Il semble aussi bien s’expliquer par des réflexes assez spontanés de xénophobie et, de rejet, à l’égard d’un peuple français contaminé par l’hérésie ; historiquement, de plus, c’est d’abord sur la frontière, en Navarre, en Aragon et en Catalogne, qu’une identité s’est forgée dans une résistance face à la monarchie française. Ainsi, pour qu’une identité nationale prenne corps, il semble que sa définition au plan individuel ou régional et sa formulation par le pouvoir royal doivent coïncider ; elle ne peut naître que de leur interaction, non d’une initiative venue des cercles dirigeants. A lo largo de su reinado, Felipe II reforzó el sentimiento nacional en sus reinos españoles explotando su rivalidad con Francia. Aprovechando las revueltas civiles y religiosas de la monarquía vecina, se esforzó en presentarse como el primero entre los príncipes cristianos y como el único soberano que verdaderamente luchaba contra el protestantismo, fomentando el sentimiento de pueblo elegido entre sus súbditos españoles. Su relativo éxito no debe interpretarse, sin embargo, como resultado exclusivo de los esfuerzos del poder real, Parece explicarse también por reacciones, en gran medida espontáneas, de xenofobia y rechazo hacia un pueblo francés contaminado por la herejía. Históricamente, además, fue en la frontera, en Navarra, Aragón y Cataluña, donde primero se forjó una identidad basada en la resistencia a la monarquía francesa. Parece pues que, para que se constituya una identidad nacional, su definición en el plano individual o regional debe coincidir con la formulación que propone el poder real; sólo puede nacer de su interacción, y no de una iniciativa promovida por los círculos dirigentes. In his Spanish kingdoms, throughout his reign Philip II strove to build up a national sentiment by exploiting his rivalry with France. Taking advantage of the civil and religions troubles of the neighbouring monarchy, he endeavoured to appear as the first prince of Christendom and the only true sovereign fighting against Protestantism, thus pandering to his Spanish subjects’ notion of being the elect. His relative success in this endeavour should not however be interpreted as solely fruit of the efforts of the royal power. It seems that it could equally have come about through a quite spontaneous reaction of xenophobia and rejection of the French as a people contaminated by heresy; moreover historically, it was on the frontier, in Navarre, in Aragon and in Catalonia, that an identity was first forged by resistance to the French monarchy. Thus, for a national identity to take shape, it seems that it must both take root on an individual or regional level and be espoused by royal power; it can only spring from the interaction of the two and cannot be brought to life by diktat of the ruling circles.

À partir d’une sélection d’œuvres provenant du fonds d’arts graphiques et de photographies ainsi que de la collection de peintures du musée de la Voiture et du Tourisme de Compiègne, cette communication s’intéresse aux différents modes ou régimes de représentation du cheval au travail dans le transport public français, du XIXe siècle, période qui marque l’apogée d’un système de transports fondé sur le cheval, au début du XXe siècle, où l’on observe une remise en question de la place du cheval dans la société, sous l’effet du développement de l’automobile. Le transport public urbain et le transport public routier y sont successivement explorés. Au-delà de la présentation des spécificités des principaux types de voitures publiques qui caractérisaient cette période, cette sélection met en lumière l’évolution de la sensibilité à l’égard des chevaux de travail, liée à la naissance d’un mouvement de protection des animaux. Les représentations montrant la maltraitance et les difficultés du travail des chevaux apparaissent plus prégnantes dans le domaine du transport public urbain, tandis que les représentations du transport public routier privilégient plutôt la beauté et la puissance des attelages, montrés en pleine course ou sous l’espèce de la quotidienneté de leur travail. The horse in nineteenth-century public transport, in the collections of the national carriage and tourism museum at Compiègne. Based on a selection of the paintings, drawings and photographs held by the Compiègne museum, this paper will look at the different ways the horse was depicted in its contribution to nineteenth-century public transport. This century marked the apogee of the use of the horse, brought into question from the beginning of the twentieth century by the appearance of the motor car. Urban and inter-city public systems will be looked at in turn. Beyond a presentation of the specificities of certain horse-drawn vehicles characteristic of the period, this selection of graphic representations also throws light on society’s evolving attitudes towards these workhorses, related to the birth of a movement for the protection of animals. The pictures showing mistreatment of horses or the difficulties of their work seem to be more numerous where urban transport modes are concerned. The images of inter-city transport tens to draw more attention to the beauty and the strength of the horse teams, often shown at full gallop, rather than in some everyday position.

23 pages; Le travail présenté dans ce document s'inscrit dans une démarche de conception des systèmes embarqués. Il se focalise sur les règles de réécriture d'un modèle exprimé en MCSE dans le langage FIACRE. Cette réécriture vise à permettre une vérification formelle des propriétés du modèle tout en garantissant le respect de la sémantique du langage de haut-niveau MCSE. Les règles exposées couvrent la totalité de l'expressivité du modèle d'entrée et sont illustrées sur des exemples simples.

International audience; The integration of formal verification methods in modeling ac- tivities is a key issue to ensure the correctness of complex system design models. In this purpose, the most common approach consists in defining a translational semantics mapping the abstract syntax of the designer dedi- cated Domain-Specific Modeling Language (DSML) to a formal verification dedicated semantic domain in order to reuse the available powerful verifica- tion technologies. Formal verification is thus usually achieved using model transformations. However, the verification results are available in the formal domain which significantly impairs their use by the system designer which is usually not an expert of the formal technologies. In this paper, we introduce a novel approach based on Higher-Order trans- formations that analyze and instrument the transformation that expresses the semantics in order to produce traceability data to automatize the back propagation of verification results to the DSML end-user.

International audience; The integration of formal verification methods in modeling activities is a key issue to ensure the correctness of complex system design models. In this purpose, the most common approach consists in defining a translational semantics mapping the abstract syntax of the designer dedicated Domain-Specific Modeling Language (DSML) to a formal verification dedicated semantic domain in order to reuse the available powerful verification technologies. Formal verification is thus usually achieved using model transformations. However, the verification results are available in the formal domain which significantly impairs their use by the system designer which is usually not an expert of the formal technologies. In this paper, we introduce a novel approach based on Higher-Order transformations that analyze and instrument the transformation that expresses the semantics in order to produce traceability data to automatize the back propagation of verification results to the DSML end-user.

International audience; Model Driven Engineering (MDE) is now widely used in many industrial contexts (such as AeroSpace) which require a high level of system safety. Model-checking is one of the formal techniques which are used to assess a system compliance to its requirements. It relies on verification dedicated languages to model the system under verification and the expected properties. In order to ease the use of these tools, model transformations are provided that translate the end user provided system model to the formal languages than can be verified. In order to rely on these activities for system certification, the correctness of these transformation steps must be assessed (qualification of the development and verification tools). One of the goal of our work is to provide tools to implement the transformation steps between end user source languages used for the system development and target languages used for formal verification. This paper present the {Tom} rule-based approach used in a research project involving industrial partners: Airbus and Ellidiss.

Aujourd'hui, le domaine de la modélisation et de la validation formelle de logiciels est un enjeu majeur du génie logiciel. Plus spécifiquement, les architectures logicielles des systèmes embarqués doivent être conçues pour assurer des fonctions critiques soumises à des contraintes très fortes en termes de fiabilité et de performances temps réel. Malgré les progrès techniques, la grande taille de ces systèmes facilite l'introduction d'une plus grande gamme d'erreurs. Alors, les méthodes formelles ont contribué les solutions rigoureuses et puissantes à produire des systèmes non défaillants. Dans ce domaine, les techniques de model-checking ont été fortement popularisées grâce à leur faculté d'exécuter automatiquement des preuves de propriétés sur des modèles logiciels. Alors, il faut pouvoir gérer à partir des modèles UML des codes formels pour différents outils model-checkers selon le type d'analyse que l'on veut mener. Dans ce travail, le langage pivot Fiacre est choisi comme le langage formel intermédiaire de transformation de modèles UML. Ce langage est exploitable par des outils model-checkers OBP Explorer et TINA. On a défini des règles de transformation qui permet de transformer le modèle structurel et fonctionnel UML vers programmes Fiacre. Les diagrammes de classes sont traduits pour construire la structure du système et les diagrammes d'états sont traduits pour construire la dynamique du système. Les diagrammes d'objets sont traduits pour construire la configuration initiale du système. Une classe active UML et sa machine d'état sont traduites par un processus Fiacre et son comportement et une classe inactive UML est traduite par un type de record en Fiacre. Afin d'établir des règles de transformation, on a proposé deux approches qui permettent de les valider : 1. Montrer la préservation des propriétés lors des transformations en Fiacre. 2. Montrer l'équivalence des sémantiques d'exécution entre le monde UML et le monde Fiacre.

International audience; CS (http://www.c-s.fr) is in charge to experiment a model to model transformation, in the OpenEmbeDD (http://openembedd.org/home_html) project (an RNTL project). The objective of this experimentation is to provide an operational model verification chain : starting at user level (SDL profiled UML), using an intermediate (or "pivot") language (FIACRE), and terminating at verification level (TINA or CADP). This experimentation uses (and must provide updates of) TOPCASED tools (TOPCASED, http://www.TOPCASED.org/, is an Aerospace Valley project http://www.aerospace-valley.com/en/). It is fundamental work in the context of this project, because it validates a complete approach for critical application models verification. The aim of our paper is to describe this experimentation. First the state of the art and the key points associated to this kind of approaches is presented. Next a detailed description of the made work (meta models, mappings and tools …) and at last a tutorial with the last critical open points and an action list to reach the final objectives.