Dans le cadre de l'œuvre Gilbert Durand, il n'existe pas, à notre connaissance, beaucoup d'études sur sa conception du Mythe. Cette étude, qui se veut approfondie, documentée et réflexive, est basée une méthodologie qualitative herméneutiquement réflexive : elle vise contribuer la clarification théorie Mythe chez que nous considérons comme originale, ce qu'elle soit connue non seulement des spé...

P. Legagneux ([email protected]), Univ. Laval, Dépt de Biologie, 1045 Avenue de la Médecine, QC G1V 0A6, Canada. PL also at: Offi ce National de la Chasse et de la Faune Sauvage, CNERA Avifaune Migratrice, Station de Chiz é , FR-79360 Beauvoir sur Niort, France. – V. Bretagnolle, CEBC – CNRS, UPR 1934, Villiers-en-Bois, FR-79360 Beauvoir sur Niort, France. – R. G. Clark, Prairie and Northern ...

A formal, mechanically checked specification of the consistency constraints between two views of object-oriented systems are presented. The views, described in the BON modelling language, capture the static architecture of systems via contract-annotated class diagrams, and the dynamic view provided by collaboration diagrams. The constraints are specified as an extension of the BON metamodel, an...

On montre ici comment transformer en programmes les démonstrations utilisant l’axiome du choix dépendant et l’existence d’un ultrafiltre non trivial sur N (qu’on peut, de plus, supposer sélectif ). La méthode est une extension de la technique de réalisabilité en logique classique introduite dans [3,4,5], et de la méthode du forcing bien connue en théorie des ensembles. Pour simplifier un peu l’...