Reification of substitutions in the asynchronous pi-calculus

Submitted to publicationIn this paper, we bring in a dialect of the pi-calculus which involves explicit substitutions. This mechanism has the property to handle substitutions in such a way that it avoids deep parsing of the terms concerned. Then, we show that this calculus can faithfully simulate the pi-calculus, thus putting in evidence the fact that terms of the latter can be interpreted more efficiently

Auneau – Le Parc

La fouille du site du Parc à Auneau a conduit à la découverte d’une nappe de vestiges diffus, perceptible dès la semelle des labours et jusqu’à un mètre de profondeur en moyenne. Elle est constituée de silex taillés et de tessons de céramique centimétriques et roulés. Le matériel lithique est à la fois en position primaire (niveau de sol) et secondaire (colluvionnements, remaniements agraires). Le reste du mobilier semble plus perturbé. De même, aucune organisation spatiale de ces vestiges, r..

Auneau – La Sente des Roches

Le lieu-dit la Sente des Roches, à Auneau, correspond à des terrains situés en limite du plateau sud formant un très large éperon, encadré au nord-est par la vallée de l’Aunay et au sud-ouest par la vallée de la Voise. Si la fréquentation du lieu est attestée au Néolithique moyen, à la fin du iiie millénaire et à la période contemporaine (parcellaire coïncidant avec celui du cadastre napoléonien), la principale occupation se rapporte à la fin de l’âge du Bronze et correspond à une installatio..

Gas – Les Grands Noyers

En Eure-et-Loir, la majeure partie des sites archéologiques est reconnue en contexte de plateau. Ces formations peuvent être composées de calcaires et argile à silex, comme en Beauce ou d’argile à meulière et de sables au nord du département. Ils sont recouverts d’une couche plus ou moins épaisse de limons. Ces derniers sont soumis à des processus de pédogénèse et de remobilisations naturelles (érosion/accumulation) ou artificielles (pratiques culturales intensives). La combinaison de ces pro..

Marine protected areas: from conservation to sustainable development

International audienceAfter a period during which MPAs were instrumentalised as a palliative against the inadequacy of a fisheries management conventional approach, the multi-use character of these areas prevailed, conflicts were pacified by instilling a participative process and a plurality of goals is now fully recognised. Thus MPAs are becoming both a tool and a preferred context for sustainable development in its ecological, economic and social dimensions and applied through a participatory approach that entitles local communities to both create and manage this type of area. This article will discuss the full range of these changes and how MPAs' goals have evolved with time, from a priority granted to conservation to the recognition of a plurality of goals. This article will then examine to what extent the results obtained by MPAs working toward each one of these goals make them valuable examples of areas where the requirements of sustainable development are met

Saint-Hilaire-le-Châtel – ZAC des Gaillons

Date de l'opération : 2007 (EX) Inventeur(s) : Delahaye François (INRAP) ; Noël Jean-Yves Un diagnostic archéologique a été réalisé sur les terrains concernés par l’aménagement de la première tranche de l’extension de la ZAC des Gaillons sur la commune de Saint-Hilaire-le-Châtel. Outre quelques fosses naturelles interprétées comme des chablis, le diagnostic a permis de mettre au jour les traces d’une occupation du second âge du Fer matérialisée par un bâtiment sur poteaux associé à plusieurs ..

Guy Jarousseau, Églises, évêques et princes à Angers du ve au début du xie siècle

Si l’Anjou offre une documentation abondante pour les xi et xiie s., la pénurie est manifeste pour le haut Moyen Âge. Et cette situation explique pourquoi longtemps les travaux de recherche ont été rares. Depuis vingt ans les choses changent : un chartiste Damien Heurtebize a soutenu en 1998 une thèse consacrée aux Vitae des saints évêques, thèse malheureusement non publiée. F. Comte pour sa part s’est livré à une étude minutieuse des édifices religieux d’Angers. Et voici qu’avec la thèse de ..

La place des abbayes cisterciennes dans l’histoire de l’Anjou

L’originalité des cinq établissements cisterciens de l’Anjou vient du caractère resserré et précoce des fondations, puisque seule l’abbaye du Perray est postérieure à 1150. Elle vient aussi d’un paradoxe ; d’un côté les cisterciens ont su intégrer deux monastères de Savigny, un ermitage et un établissement bénédictin traditionnel, ce qui fait du Loroux la seule véritable création cistercienne. En clair, les cisterciens ont vraiment été en Anjou des spécialistes des refondations ! De l’autre les cisterciens ont été dès la seconde moitié du xiie siècle victimes du succès des nouveaux monastères concurrents : Fontevraud et les grandmontains. Ainsi les cisterciens n’ont réussi à fédérer l’ensemble des énergies du nouveau monachisme que pour une courte période : un tiers de siècle. À la question : y a-t-il eu une économie cistercienne en Anjou ?, la réponse présente un caractère également contradictoire : oui les cisterciens ont joué un rôle pionnier dans les aménagements hydrauliques et l’essor des cultures spéculatives, l’exemple de la vigne présente beaucoup d’intérêt, mais leur rôle dans les défrichements doit être nuancé.The early and closely interspersed foundation of five Cistercian houses was a distinctive feature of the order in Anjou as only the abbey of Le Perray was founded after 1150. These abbeys were also characterised by a paradox: on the one hand, the Cistercians managed to take over the two monasteries of Savigny as well as a hermitage and a traditional Benedictine house, which makes Le Loroux the only true Cistercian creation. In Anjou, the Cistercians were in reality specialists of re-foundations. On the other hand, in the second half of the twelfth century, the Cistercians suffered from the success of new rivals, Fontevraud and Grandmont. The Cistercians thus only managed to federate the forces of new monasticism during a short time, a third of a century. To the question: “was there a Cistercian Economy in Anjou?”, the answer also has to be equally paradoxical: yes, the Cistercians pioneered the use of hydraulic equipment and the development of speculative farming - wine-growing deserves specific attention – but the assessment of their role with regard to forest clearings has to be revised

Quatrième millénaire

Dans ce volume, consacré au quatrième millénaire avant notre ère dans le Sud-est de la France, les auteurs ont cherché à mettre en perspective des données anciennes avec des données nouvelles issues des fouilles effectuées sur le tracé du TGV méditerranée. En effet ces opérations qui ont eu lieu entre 1995 et 1996, ont permis de mettre au jour des ensembles mal caractérisés, à la fois proches du Néolithique moyen Chasséen et/ou présentant des critères rappelant ce que l’on connaît pour le Néo..