Les radars à synthèse d'ouverture (Synthetic Aperture Radar ou SAR) permettent de fournir des images à très haute résolution de la surface de la Terre. Les algorithmes de classification traditionnels se basent sur une hypothèse de bruit gaussien comme modèle de signal, qui est rapidement mise en défaut lorsque l'environnement devient inhomogène ou impulsionnel, comme c'est particulièrement le cas dans les images SAR polarimétriques haute résolution, notamment au niveau des zones urbaines. L'utilisation d'un modèle de bruit composé, appelé modèle SIRV, permet de mieux prendre en compte ces phénomènes et de représenter la réalité de manière plus adéquate. Cette thèse s'emploie alors à étudier l'application et l'impact de ce modèle pour la classification des images SAR polarimétriques afin d'améliorer l'interprétation des classifications au sens de la polarimétrie et à proposer des outils adaptés à ce nouveau modèle. En effet, il apparaît rapidement que les techniques classiques utilisent en réalité beaucoup plus l'information relative à la puissance de chaque pixel plutôt qu'à la polarimétrie pour la classification. Par ailleurs, les techniques de classification traditionnelles font régulièrement appel à la moyenne de matrices de covariance, calculée comme une moyenne arithmétique. Cependant, étant donnée la nature riemannienne de l'espace des matrices de covariance, cette définition n'est pas applicable et il est nécessaire d'employer une définition plus adaptée à cette structure riemannienne. Nous mettons en évidence l'intérêt d'utiliser un modèle de bruit non gaussien sur des données réelles et nous proposons plusieurs approches pour tirer parti de l'information polarimétrique qu'il apporte. L'apport de la géométrie de l'information pour le calcul de la moyenne est de même étudié, sur des données simulées mais également sur des données réelles acquises par l'ONERA. Enfin, une étude préliminaire d'une extension de ces travaux au cas de l'imagerie hyperspectrale est proposée, de par la proximité de ce type de données avec les données SAR polarimétriques. / Synthetic Aperture Radars (SAR) now provide high resolution images of the Earth surface. Traditional classification algorithms are based on a Gaussian assumption for the distribution of the signal, which is no longer valid when the background is heterogeneous, which is particularly the case for polarimetric SAR images, especially in urban areas. A compound Gaussian model, called the SIRV model, allows to take into account these phenomena. This thesis is then devoted to studying the impact of this model for the classification of polarimetric SAR images in order to improve the interpretation of classification results in a polarimetric sense, and to propose tools better suited to this model. Indeed, classical techniques using the Gaussian assumption actually use the power information of each pixel much more than the polarimetric information. Furthermore, it is often necessary to compute a mean of covariance matrices, usually by taking the standard arithmetical mean. However, the space of covariance matrices has a Riemannian structure, not an Euclidean one, which means this definition of the mean is not correct. We will then present several methods to use the actual polarimetric information thanks to the SIRV model to improve the classification results. The benefit of using a correct, Riemannian definition of the mean will also be demonstrated on simulated and real data. Finally, a preliminary study of an extension of this work to hyperspectral imagery will be presented.

Pour limiter le temps et le coût de développement de nouveaux produits, l’industrie a besoin d’outils pour concevoir, tester et valider le produit avec des prototypes virtuels. Ces prototypes virtuels doivent permettre de tester le produit à toutes les étapes du Product Lifecycle Management (PLM). Beaucoup d’opérations du cycle de vie du produit impliquent la manipulation par un humain des composants du produit (montage, démontage ou maintenance du produit). Du fait de l’intégration croissante des produits industriels, ces manipulations sont réalisées dans un environnement encombré. La Réalité Virtuelle (RV) permet à des opérateurs réels d’exécuter ces opérations avec des prototypes virtuels. Ce travail de recherche introduit une nouvelle architecture de planification de trajectoire permettant la collaboration d’un utilisateur de RV et d’un système de planification de trajectoire automatique. Cette architecture s’appuie sur un modèle d’environnement original comprenant des informations sémantiques, topologiques et géométriques. Le processus de planification automatique de trajectoire est scindé en deux phases. Une planification grossière d’abord exploitant les données sémantique et topologiques. Cette phase permet de définir un chemin topologique. Une planification fine ensuite exploitant les données sémantiques et géométriques détermine un trajectoire géométrique dans le chemin topologique défini lors de la planification grossière. La collaboration entre le système de planification automatique et l’utilisateur de RV s’articule autour de deux modes : en premier lieu, l’utilisateur est guidé sur une trajectoire pré-calculée à travers une interface haptique ; en second lieu, l’utilisateur peut quitter la solution proposée et déclencher ainsi une re-planification. L’efficacité et l’ergonomie des ces deux modes d’interaction est enrichie grâce à des méthodes de partage de contrôle : tout d’abord, l’autorité du système automatique est modulée afin de fournir à la fois un guidage prégnant lorsque l’utilisateur le suit, et plus de liberté à l’utilisateur (un guidage atténué) lorsque celui-ci explore des chemins alternatifs potentiellement meilleurs. Ensuite, lorsque l’utilisateur explore des chemins alternatifs, ses intentions sont prédites (grâce aux données géométriques associées aux éléments topologiques) et intégrées dans le processus de re-planification pour guider la planification grossière. Ce mémoire est organisé en cinq chapitres. Le premier expose le contexte industriel ayant motivé ces travaux. Après une description des outils de modélisation de l’environnement, le deuxième chapitre introduit le modèle multi-niveaux de l’environnement proposé. Le troisième chapitre présente les techniques de planification de trajectoire issues de la robotique et détaille le processus original de planification de trajectoire en deux phases développé. Le quatrième introduit les travaux précurseurs de planification interactive de trajectoire et les techniques de partage de contrôle existantes avant de décrire les modes d’interaction et les techniques de partage de contrôle mises en œuvre dans notre planificateur interactif de trajectoire. Enfin le dernier chapitre présente les expérimentations menées avec le planificateur de trajectoire et en analyse leurs résultats. / To save time and money while designing new products, industry needs tools to design, test and validate the product using virtual prototypes. These virtual prototypes must enable to test the product at all Product Lifecycle Management (PLM) stages. Many operations in product’s lifecycle involve human manipulation of product components (product assembly, disassembly or maintenance). Cue to the increasing integration of industrial products, these manipulations are performed in cluttered environment. Virtual Reality (VR) enables real operators to perform these operations with virtual prototypes. This research work introduces a novel path planning architecture allowing collaboration between a VR user and an automatic path planning system. This architecture is based on an original environment model including semantic, topological and geometric information. The automatic path planning process split in two phases. First, coarse planning uses semantic and topological information. This phase defines a topological path. Then, fine planning uses semantic and geometric information to define a geometrical trajectory within the topological path defined by the coarse planning. The collaboration between VR user and automatic path planner is made of two modes: on one hand, the user is guided along a pre-computed path through a haptic device, on the other hand, the user can go away from the proposed solution and doing it, he starts a re-planning process. Efficiency and ergonomics of both interaction modes is improved thanks to control sharing methods. First, the authority of the automatic system is modulated to provide the user with a sensitive guidance while he follows it and to free the user (weakened guidance) when he explores possible better ways. Second, when the user explores possible better ways, his intents are predicted (thanks to geometrical data associated to topological elements) and integrated in the re-planning process to guide the coarse planning. This thesis is divided in five chapters. The first one exposes the industrial context that motivated this work. Following a description of environment modeling tools, the second chapter introduces the multi-layer environment model proposed. The third chapter presents the path planning techniques from robotics research and details the two phases path planning process developed. The fourth introduce previous work on interactive path planning and control sharing techniques before to describe the interaction modes and control sharing techniques involved in our interactive path planner. Finally, last chapter introduces the experimentations performed with our path planner and analyses their results.

A une représentation de p-torsion du groupe de Galois absolu d'un corps p-adique, M. Kisin associe un espace de modules, appelé par la suite variété de Kisin par G. Pappas et M. Rapoport. Ces variétés ont été introduites afin de démontrer plusieurs résultats de modularité sur les représentations galoisiennes. Elles se sont révélées utiles également pour construire certains anneaux de déformations voire les calculer. Plus récemment elles ont été utilisées pour munir le champ des représentations galoisiennes de torsion d'une structure algébrique. Par ailleurs ces variétés ressemblent formellement aux variétés de Deligne-Lusztig affines. En particulier leur définition s'étend dans le cadre de la théorie des groupes réductifs. Dans cette thèse, nous étudions la dimension de certaines variétés de Kisin dans le cas de la restriction des scalaires à la Weil du groupe linéaire général GLd. En nous basant sur des méthodes issues du cadre Deligne-Lusztig et en suivant les travaux de E. Viehmann et X. Caruso, nous définissons une stratification de la variété de Kisin. Nous encadrons ensuite la dimension des strates, puis étudions le problème de la maximisation de la dimension sur l'ensemble des strates. Cela permet de démontrer des encadrements pour la dimension des variétés de Kisin considérées. Comme dans le cas des variétés de Deligne-Lusztig affines, la somme des racines positives intervient dans l'encadrement de la dimension. / Given a p-torsion representation of the absolute Galois group of a p-adic field, M. Kisin defines a moduli space, which was named Kisin variety afterwards by G. Pappas and M. Rapoport. These varieties were first introduced in order to prove several modularity results on Galois representations. They were also used for constructing certain Galois deformation rings and computing some of them. Besides, they were involved in a recent work aiming at defining an algebraic structure on the stack of torsion Galois representations. It turns out that these varieties are formally similar to affine Deligne-Lusztig varieties. In particular their definition extends to the framework of reductive groups. In this thesis, we study the dimension of some Kisin varieties corresponding to the scalar restriction of the general linear group GLd. Inspired by methods coming from Deligne-Lusztig theory and following works by E. Viehmann and X. Caruso, we define a stratification on the given Kisin variety. Then we bound from below and from above the dimension of the strata, and we address the problem of maximizing the dimension over all strata. This allows us to derive the announced bounds on the dimension. As for affine Deligne-Lusztig varieties, the sum of the positive roots appears in the bounds.

Les travaux de géolocalisation et d’étude des ouvrages urbains font intervenirdes opérateurs de lever qui doivent manipuler des instruments de topographie, descartographies et des notions métiers complexes. Les erreurs de géolocalisation et deconception d’ouvrages sont fréquentes lorsque les méthodologies de travail ne sont pasrespectées. Ces travaux de thèse CIFRE, réalisés au sein de la société SIG-IMAGE,identifient dans un premier temps les sources d’erreurs lors des phases d’étude puisproposent un processus de lever topographique optimisé, pour réduire ces erreurs. Ilsmettent en évidence l’intérêt de la Réalité Augmentée pour diminuer les erreurs d’édition etd’interprétation de cartographie d’ouvrages. Un prototype est proposé, évalué et critiqué. Ilcouple un dispositif tactile de RA monoculaire géoréférencé avec un laser de topographie. Ilpermet de dessiner et de consulter des plans techniques sur une représentation 2D tempsréel du chantier. Les expérimentations démontrent que ce couplage n’est valide, au regardde la réglementation française, que pour la consultation de données SIG, ainsi que demodèles CAO dans un environnement très proche. Une autre approche est proposée, elleconsiste à recaler les nuages de points denses issus de scanners de topographie, avec lareprésentation orthoscopique 2D temps réel du chantier. Une synthèse des techniques derecalage image-nuage de points est proposée, et nos travaux s’orientent vers l’exploitationdu recalage 2D-2D. Les interactions dans l’environnement augmenté du chantier dépendentalors de son nuage de points. Elles sont géolocalisées et suivent les paradigmes du Picking-Outlining-Annotating. / In the public construction field, surveyors have to manipulate sophisticatedinstruments and maps to design CAD and GIS sketches describing geolocated facilities tobuild on worksite. Geolocation and design inaccuracies happen during these steps and leadto false technical maps. This Ph.D. thesis explains our research works made on behalf ofSIG-IMAGE Company. We first identify origins of inaccuracies during survey, then wepropose a new and optimized survey method that improves CAD and GIS accuracy on field.We explain to what extend Augmented Reality is able to improve technical mapsinterpretation and edition. We present, evaluate and criticize a prototype that couples atangible AR environment with a laser range finder. It allows one to draw technical sketcheson a 2D tangible real time view of worksites. Experiments have proven that it does not satisfyFrench regulation in terms of accuracy when editing maps. However it is accurate enough todisplay and edit GIS information, as well as CAD maps in a very close area. We then exploreanother approach consisting of matching the scanner’s dense point cloud with the real time2D view of the worksite. We propose a synthesis of alignment practices between point cloudsand images of a same scene. Finally we have chosen to explore 2D-2D registration so thatinteractions in our AR system would be based on the point cloud pre-processed discreterepresentation of the worksite. These interactions will be geolocated and will follow thePicking-Outlining-Annotating paradigm.

Cette thèse se situe à l'interface entre la géométrie algébrique et les systèmes dynamiques. Le but est d'analyser la dynamique des automorphismes (ou, plus généralement, des transformations birationnelles) de variété compactes kaehleriennes avec première classe de Chern nulle, notamment des variétés hyperkaehleriennes. J'étudie l'existence de structures géométriques invariantes par la dynamique, en particulier fibrations et feuilletages, sous des hypothèses sur l'action en cohomologie de la transformation considérée / This thesis lies at the interface between algebraic geometry and dynamical systems. The goal is to analyse the dynamical behaviour of automorphisms (or, more generally, of birational transformations) of compact Kaehler manifolds having trivial first Chern class, in particular of hyperkaehler manifolds. I study the existence of geometric structures which are preserved by the dynamics, in particular fibrations and foliations, under some assumptions about the cohomological action of the transformation

Dans la première partie de cette thèse, nous introduisons une nouvelle généralisation de l'opérateur de Laplace en géométrie de Finsler. Cette opérateur est défini en intégrant le long des fibres les dérivées directionnelles secondes d'une fonction par rapport à une mesure d'angle que nous construisons. Nous obtenons un opérateur différentiel d'ordre ..., elliptique, symétrique, et qui admet une bonne théorie spectrale. Nous calculons des exemples explicites de spectres pour des métriques de Katok-Ziller. En courbure négative, nous prouvons, grâce à un théorème d'Ancona que la frontière de Martin est Hölder-homéomorphe à la frontière visuelle. Ceci nous permet de déduire l'existence et l'ergodicité des mesures harmoniques pour cet opérateur. Dans la seconde partie, nous étudions les flots d'Anosov en dimension ... dont l'espace des feuilles est homéomorphe à .... Lorsque la variété est hyperbolique, Thurston démontra que le feuilletage (in)stable induit un flot ''orthogonal'' au premier. Nous utilisons ce second flot pour étudier les classes d'isotopie d'orbites périodiques du flot d'Anosov, ainsi que l'existence de cylindres plongés. / In the first part of this dissertation, we give a new definition of a Laplace operator for Finsler metric as an average, with regard to an angle measure, of the second directional derivatives. This operator is elliptic, symmetric with respect to the Holmes-Thompson volume, and coincides with the usual Laplace--Beltrami operator when the Finsler metric is Riemannian. We compute explicit spectral data for some Katok-Ziller metrics. When the Finsler metric is negatively curved, we show, thanks to a result of Ancona that the Martin boundary is Hölder-homeomorphic to the visual boundary. This allow us to deduce the existence of harmonic measures and some ergodic preoperties. In the second part of this dissertation, we study Anosov flows in 3-manifolds, with leaf-spaces homeomorphic to .... When the manifold is hyperbolic, Thurston showed that the (un)stable foliations induces an "orthogonal" flow. We use this second flow to study isotopy class of periodic orbits of the Anosov flow and existence of embedded cylinders.

L'histoire standard de la géométrie projective souligne l'opposition au 19e siècle entre méthodes analytiques et synthétiques. Nous nous interrogeons sur la manière dont les géomètres du 19e siècle ont vraiment opéré ou non des distinctions entre leurs méthodes et dans quelle mesure cette géométrie était "moderne'' comme le clamaient ses praticiens, et plus tard leurs historiens. Poncelet insistait sur le rôle central de la figure, qui selon lui pourrait être obscurci par les calculs de l'algèbre. Nous étudions son argument en action dans des problèmes de construction résolus par plusieurs auteurs différents -comme la construction d'une courbe du second ordre ayant un contact d'ordre trois avec une courbe plane donnée, dont cinq solutions paraissent entre 1817 et 1826. Nous montrons que l'attention visuelle est au coeur de la résolution, indépendamment de la méthode suivie, qu'elle n'est pas réservée aux figures, et que les débats sont aussi un moyen de signaler de nouvelles zones de recherche à un public en formation. Nous approfondissons ensuite la réception des techniques nouvelles et l'usage des figures dans les travaux de deux mathématiciens décrits d'ordinaire comme opposés, l'un algébriste, Plücker, et l'autre défendant l'approche synthétique, Steiner. Nous examinons enfin les affirmations de modernité dans les manuels français de géométrie publiés pendant le premier tiers du dix-neuvième siècle. Tant Gergonne et Plücker que Steiner ont développé des formes de géométrie qui ne se pliaient pas en fait à une caractérisation dichotomique, mais répondaient de manière spécifique aux pratiques mathématiques et aux modes d'interaction de leur temps. / The standard history of nineteenth century geometry began with Jean Victor Poncelet's contributions which then spread to Germany alongside an opposition between Julius Plücker, an analytic geometer, and Jakob Steiner, a synthetic geometer. Our questions centre on how geometers distinguished methods, when opposition arose, in what ways geometry disseminated from Poncelet to Plücker and Steiner, and whether this geometry was "modern'' as claimed.We first examine Poncelet's argument that within pure geometry the figure was never lost from view, while it could be obscured by the calculations of algebra. Our case study reveals visual attention within constructive problem solving, regardless of method. Further, geometers manipulated and represented figures through textual descriptions and coordinate equations. We also consider the debates involved as a medium for communicating geometry in which Poncelet and Gergonne in particular developed strategies for introducing new geometry to a conservative audience. We then turn to Plücker and Steiner. Through comparing their common research, we find that Plücker practiced a "pure analytic geometry'' that avoided calculation, while Steiner admired "synthetic geometry'' because of its organic unity. These qualities contradict usual descriptions of analytic geometry as computational or synthetic geometry as ad-hoc.Finally, we study contemporary French books on geometry and show that their methodological divide was grounded in student prerequisites, where "modern'' implied the use of algebra. By contrast, research publications exhibited evolving forms of geometry that evaded dichotomous categorization.The standard history of nineteenth century geometry began with Jean Victor Poncelet's contributions which then spread to Germany alongside an opposition between Julius Plücker, an analytic geometer, and Jakob Steiner, a synthetic geometer. Our questions centre on how geometers distinguished methods, when opposition arose, in what ways geometry disseminated from Poncelet to Plücker and Steiner, and whether this geometry was "modern'' as claimed.We first examine Poncelet's argument that within pure geometry the figure was never lost from view, while it could be obscured by the calculations of algebra. Our case study reveals visual attention within constructive problem solving, regardless of method. Further, geometers manipulated and represented figures through textual descriptions and coordinate equations. We also consider the debates involved as a medium for communicating geometry in which Poncelet and Gergonne in particular developed strategies for introducing new geometry to a conservative audience. We then turn to Plücker and Steiner. Through comparing their common research, we find that Plücker practiced a "pure analytic geometry'' that avoided calculation, while Steiner admired "synthetic geometry'' because of its organic unity. These qualities contradict usual descriptions of analytic geometry as computational or synthetic geometry as ad-hoc.Finally, we study contemporary French books on geometry and show that their methodological divide was grounded in student prerequisites, where "modern'' implied the use of algebra. By contrast, research publications exhibited evolving forms of geometry that evaded dichotomous categorization.

L'espace de modules Mgbar des courbes stables de genre g est un object central en géométrie algébrique. Du point de vue de la géométrie birationelle, il apparaît naturel se demander si Mgbar est de type générale. Harris-Mumford et Eisenbud-Harris ont montré que Mgbar est de type générale pour un genre g>=24 et g=22. Le cas g=23 est encore misterieux. Dans les dix dernières années une nouvelle approche a émergé, dans l'essai de clarifier ça : l'idée est celle de considérer de recouvrement fini de Mgbar qui sont des espaces de modules de courbes stables munies d'une structure additionnelle comme un l-recouvrement (racine l-ième du fibré trivial) ou un fibré l-spin (racine l-ième du fibré canonique). Ces espaces ont la propriété que la transition au type générale se produit à un genre inférieur. Dans ce travail nous voulons généraliser cette approche de deux façons : - un étude de l'espace de modules des courbes avec une racine d'une puissance quelconque du fibré canonique ; - un étude de l'espace de modules des courbes avec un G-recouvrement pour un quelconque G groupe fini. Pour définir ces espaces de modules nous utilisons la notion de courbe twisted (voir Abramovich-Corti-Vistoli). Le résultat fondamental obtenu est qu'il est possible de décrire le lieu singulier de ces espaces de modules par la notion de graphe dual d'une courbe. Grace à cette analyse, nous pouvons developper des calculs dans l'anneau tautologique des espaces, et en particulier nous conjecturons que l'espace de modules des courbes avec un S3-recouvrement est de type générale pour genre impaire g>=13. / The moduli space Mgbar of genus g stable curves is a central object in algebraic geometry. From the point of view of birational geometry, it is natural to ask if Mgbar is of general type. Harris-Mumford and Eisenbud-Harris found that Mgbar is of general type for genus g>=24 and g=22. The case g=23 keep being mysterious. In the last decade, in an attempt to clarify this, a new approach emerged: the idea is to consider finite covers of Mgbar that are moduli spaces of stable curves equipped with additional structure as l-covers (l-th roots of the trivial bundle) or l-spin bundles (l-th roots of the canonical bundle). These spaces have the property that the transition to general type happens to a lower genus. In this work we intend to generalize this approach in two ways: - a study of moduli space of curves with any root of any power of the canonical bundle; - a study of the moduli space of curves with G-covers for any finite group G. In order to define these moduli spaces we use the notion of twisted curve (see Abramovich-Corti-Vistoli). The fundamental result obtained is that it is possible to describe the singular locus of these moduli spaces via the notion of dual graph of a curve. Thanks to this analysis, we are able to develop calculations on the tautological rings of the spaces, and in particular we conjecture that the moduli space of curves with S3-covers is of general type for odd genus g>=13.

Dans cette thèse nous construisons un groupe faible de cobordisme arithmétique dans le contexte de la géométrie d'Arakelov. Nous introduisons des versions faibles des groupes de K-théorie arithmétique et de Chow arithmétique, et en dégageons une notion de théorie homologique orientée de type arithmétique. Nous construisons alors un groupe universel parmi ces théories homologiques et prouvons ses principales propriétés structurelles. / In this thesis we construct a weak group of arithmetic cobordism in the context of Arakelov geometry. We introduce weak versions of arithmetic K-theory and arithmetic Chow groups, that give rise to the notion of oriented homological theory of arithmetic type. We then build a universal such homological theory, and prove its main structural features.

Dans cette thèse, on définit et on étudie les notions de structure de Poisson et coïsotrope sur un champ dérivé, dans le contexte de la géométrie algébrique dérivée. On considère deux présentations différentes de structure de Poisson : la première est purement algébrique, alors que la deuxième est plus géométrique. On montre que les deux approches sont en fait équivalentes. On introduit aussi la notion de structure coïsotrope sur un morphisme de champs dérivés, encore une fois en présentant deux définitions équivalentes : la première est basée sur une généralisation appropriée de l'opérade Swiss-Cheese de Voronov, tandis que la deuxième est formulée en termes de champs de multivecteurs rélatifs. En particulier, on montre que le morphisme identité admet une unique structure coïsotrope ; cela produit une application d'oubli des structures de Poisson n-décalées aux structures de Poisson (n-1)-décalées. On montre aussi que l'intersection de deux morphismes coïsotropes dans un champ de Poisson n-décalée est naturellement equipée d'une structure de Poisson (n-1)-décalée canonique. En outre, on fournit une équivalence entre l'espace de structures coïsotropes non-dégénérées et l'espace des structures Lagrangiennes en géométrie dérivée, introduites dans les travaux de Pantev-Toën-Vaquié-Vezzosi. / In this thesis, we define and study Poisson and coisotropic structures on derived stacks in the framework of derived algebraic geometry. We consider two possible presentations of Poisson structures of different flavour: the first one is purely algebraic, while the second is more geometric. We show that the two approaches are in fact equivalent. We also introduce the notion of coisotropic structure on a morphism between derived stacks, once again presenting two equivalent definitions: one of them involves an appropriate generalization of the Swiss Cheese operad of Voronov, while the other is expressed in terms of relative polyvector fields. In particular, we show that the identity morphism carries a unique coisotropic structure; in turn, this gives rise to a non-trivial forgetful map from n-shifted Poisson structures to (n-1)-shifted Poisson structures. We also prove that the intersection of two coisotropic morphisms inside a n-shifted Poisson stack is naturally equipped with a canonical (n-1)-shifted Poisson structure. Moreover, we provide an equivalence between the space of non-degenerate coisotropic structures and the space of Lagrangian structures in derived geometry, as introduced in the work of Pantev-Toën-Vaquié-Vezzosi.