Orateur : Giuseppe Ancona (Université de Strasbourg) Titre : Corps de définition et périodes ramifiées Résumé : Dans un travail en commun avec Dragos Fratila et Alberto Vezzani, nous construisons des courbes hyperelliptiques de genre grand, définies sur des corps quadratiques qui sont isomorphes à leur conjuguées galoisiens mais qui ne descendent pas sur Q. […]
Orateur : Filippo Nuccio (Université Jean Monnet Saint-Étienne) Titre : Expliquer un peu d'arithmétique à un ordinateur Résumé : Dans cet exposé j'essaierai d'illustrer ce que signifie formaliser des mathématiques dans un assistant de preuve (j'utiliserai le logiciel Lean), en commençant par un exemple simple et par un survol de la pratique de formalisation et […]
| Cookie | Type | Durée | Description |
|---|---|---|---|
| __Secure-YEC | tiers | 13 mois | Le cookie « __Secure-YEC » est utilisé pour détecter les spams, les fraudes et les abus afin de garantir que les annonceurs ne soient pas facturés à tort pour des impressions ou des interactions frauduleuses ou invalides avec les publicités, et que les créateurs YouTube participant au programme Partenaire YouTube soient rémunérés de manière équitable. |
| _pk_id.* | persistant | 1 an 27 jours | Utilisé par Matomo pour stocker des informations sur l’utilisateur, telles que l’identifiant unique du visiteur. |
| _pk_ref* | persitant | 6 mois | Utilisé par Matomo pour stocker les informations d’attribution, le référent initialement utilisé pour visiter le site Web. |
| _pk_ses.* | session | 30 minutes | Cookies de courte durée utilisés par Matomo pour stocker temporairement les données de la visite. |
| _pk_testcookie_domain | session | moins d'une minute | Utilisé par Matomo pour vérifier si le navigateur du visiteur prend en charge les cookies. |
| affluenceswebapi_ga | tiers | session | Les widgets web (webAPI) ont pour objectif de diffuser les informations d'affluence (taux d'occupation, horaires, temps d'attente) sur des sites web tiers. Un tag Google Analytics est intégré à cette webAPI afin de mesurer le nombre de consultations des outils pour assurer leur bon fonctionnement et pertinence. - Aucune donnée personnelle n'est traitée, consultée ou stockée via l'utilisation des webAPIs et du tag Google Analytics - Les adresses IP des utilisateurs sont anonymisées afin de garantir leur confidentialité |
| affluenceswebapi_ga_0DZGM777JP | tiers | session | Les widgets web (webAPI) ont pour objectif de diffuser les informations d'affluence (taux d'occupation, horaires, temps d'attente) sur des sites web tiers. Un tag Google Analytics est intégré à cette webAPI afin de mesurer le nombre de consultations des outils pour assurer leur bon fonctionnement et pertinence. - Aucune donnée personnelle n'est traitée, consultée ou stockée via l'utilisation des webAPIs et du tag Google Analytics - Les adresses IP des utilisateurs sont anonymisées afin de garantir leur confidentialité |
| BIGipServer* | session | session | Le cookie BIGipServer* est principalement utilisé pour l'équilibrage de charge. Lorsqu'un utilisateur accède à un site web ou à une application qui utilise des dispositifs F5 BIG-IP, ce cookie aide à diriger les requêtes de l'utilisateur vers le même serveur backend pour la durée de la session. Cela assure la cohérence et la continuité de la session utilisateur. |
| cli_user_preference | persistant | 1 an | Ce cookie est défini par le plugin GDPR Cookie Consent. L'objectif de ce cookie est d'enregistrer si l'utilisateur a donné ou non son consentement à l'utilisation des cookies. Il ne stocke aucune donnée personnelle. |
| cookielawinfo-checkbox-fonctionnel | persistant | 1 an | Le cookie est défini par le consentement du cookie GDPR pour enregistrer le consentement de l'utilisateur pour les cookies dans la catégorie «Fonctionnel». |
| cookielawinfo-checkbox-necessaire | persistant | 1 an | Ce cookie est défini par le plugin GDPR Cookie Consent. Les cookies sont utilisés pour stocker le consentement de l'utilisateur pour les cookies dans la catégorie «Nécessaire». |
| cookielawinfo-checkbox-publicite | persistant | 1 an | Défini par le plugin de consentement aux cookies GDPR, ce cookie est utilisé pour stocker le consentement de l'utilisateur pour les cookies de la catégorie «Publicité». |
| Cookie | Type | Durée | Description |
|---|---|---|---|
| __Secure-ROLLOUT_TOKEN | tiers | 6 mois | __Secure-ROLLOUT_TOKEN est utilisé par YouTube pour gérer le déploiement progressif de nouvelles fonctionnalités et mises à jour. Ce cookie permet d'affecter les utilisateurs à des groupes de test spécifiques pour des fonctionnalités expérimentales, telles que des modifications de l'interface utilisateur ou du lecteur vidéo. Le préfixe __Secure- indique que le cookie est uniquement transmis via une connexion HTTPS sécurisée, ce qui renforce la sécurité des données. |
| __Secure-YEC | tiers | 13 mois | Le cookie « __Secure-YEC » est utilisé pour détecter les spams, les fraudes et les abus afin de garantir que les annonceurs ne soient pas facturés à tort pour des impressions ou des interactions frauduleuses ou invalides avec les publicités, et que les créateurs YouTube participant au programme Partenaire YouTube soient rémunérés de manière équitable. |
| _42b19 | session | session | Il permet de stocker des informations temporaires spécifiques à la session de l'utilisateur, telles que les préférences de navigation, les choix ou les paramètres spécifiques, afin de fournir une expérience utilisateur cohérente et personnalisée. Ce cookie est essentiel pour assurer le bon fonctionnement de certaines fonctionnalités du site web pendant la session active et est supprimé automatiquement lorsque l'utilisateur ferme son navigateur. |
| _pk_id.* | persistant | 1 an 27 jours | Utilisé par Matomo pour stocker des informations sur l’utilisateur, telles que l’identifiant unique du visiteur. |
| _pk_ref* | persitant | 6 mois | Utilisé par Matomo pour stocker les informations d’attribution, le référent initialement utilisé pour visiter le site Web. |
| _pk_ses.* | session | 30 minutes | Cookies de courte durée utilisés par Matomo pour stocker temporairement les données de la visite. |
| _pk_testcookie_domain | session | moins d'une minute | Utilisé par Matomo pour vérifier si le navigateur du visiteur prend en charge les cookies. |
| activeCollapseAside | session | session | Le cookie activeCollapseAside permet de sauvegarder l'état d'un panneau latéral ou d'une barre latérale. |
| affluenceswebapi_ga | tiers | session | Les widgets web (webAPI) ont pour objectif de diffuser les informations d'affluence (taux d'occupation, horaires, temps d'attente) sur des sites web tiers. Un tag Google Analytics est intégré à cette webAPI afin de mesurer le nombre de consultations des outils pour assurer leur bon fonctionnement et pertinence. - Aucune donnée personnelle n'est traitée, consultée ou stockée via l'utilisation des webAPIs et du tag Google Analytics - Les adresses IP des utilisateurs sont anonymisées afin de garantir leur confidentialité |
| affluenceswebapi_ga_0DZGM777JP | tiers | session | Les widgets web (webAPI) ont pour objectif de diffuser les informations d'affluence (taux d'occupation, horaires, temps d'attente) sur des sites web tiers. Un tag Google Analytics est intégré à cette webAPI afin de mesurer le nombre de consultations des outils pour assurer leur bon fonctionnement et pertinence. - Aucune donnée personnelle n'est traitée, consultée ou stockée via l'utilisation des webAPIs et du tag Google Analytics - Les adresses IP des utilisateurs sont anonymisées afin de garantir leur confidentialité |
| BIGipServer* | session | session | Le cookie BIGipServer* est principalement utilisé pour l'équilibrage de charge. Lorsqu'un utilisateur accède à un site web ou à une application qui utilise des dispositifs F5 BIG-IP, ce cookie aide à diriger les requêtes de l'utilisateur vers le même serveur backend pour la durée de la session. Cela assure la cohérence et la continuité de la session utilisateur. |
| cli_user_preference | persistant | 1 an | Ce cookie est défini par le plugin GDPR Cookie Consent. L'objectif de ce cookie est d'enregistrer si l'utilisateur a donné ou non son consentement à l'utilisation des cookies. Il ne stocke aucune donnée personnelle. |
| Cookie | Type | Durée | Description |
|---|---|---|---|
| _42b19 | session | session | Il permet de stocker des informations temporaires spécifiques à la session de l'utilisateur, telles que les préférences de navigation, les choix ou les paramètres spécifiques, afin de fournir une expérience utilisateur cohérente et personnalisée. Ce cookie est essentiel pour assurer le bon fonctionnement de certaines fonctionnalités du site web pendant la session active et est supprimé automatiquement lorsque l'utilisateur ferme son navigateur. |
| activeCollapseAside | session | session | Le cookie activeCollapseAside permet de sauvegarder l'état d'un panneau latéral ou d'une barre latérale. |
| NEXT_LOCALE | persitant | 1 an | Il permet de stocker la langue locale préférée de l'utilisateur et de la récupérer lors de ses visites ultérieures sur le site. |
| yt-remote-cast-available | tiers | session | Le cookie yt-remote-cast-available est utilisé pour enregistrer les préférences de l'utilisateur concernant la disponibilité de la fonction de diffusion sur son lecteur vidéo YouTube. |
| yt-remote-cast-installed | tiers | session | Le cookie yt-remote-cast-installed est utilisé pour stocker les préférences de l'utilisateur en matière de lecteur vidéo à l'aide d'une vidéo YouTube intégrée. |
| yt-remote-connected-devices | tiers | jamais | YouTube définit ce cookie pour stocker les préférences vidéo de l'utilisateur à l'aide de la vidéo YouTube intégrée. |
| yt-remote-device-id | tiers | jamais | YouTube définit ce cookie pour stocker les préférences vidéo de l'utilisateur à l'aide de la vidéo YouTube intégrée. |
| yt-remote-fast-check-period | tiers | session | Le cookie yt-remote-fast-check-period est utilisé par YouTube pour enregistrer les préférences de l'utilisateur concernant le lecteur vidéo pour les vidéos YouTube intégrées. |
| yt-remote-session-app | tiers | session | Le cookie yt-remote-session-app est utilisé par YouTube pour stocker les préférences de l'utilisateur et les informations relatives à l'interface du lecteur vidéo YouTube intégré. |
| yt-remote-session-name | tiers | session | Le cookie yt-remote-session-name est utilisé par YouTube pour enregistrer les préférences de l'utilisateur concernant le lecteur vidéo à l'aide d'une vidéo YouTube intégrée. |
| ytidb::LAST_RESULT_ENTRY_KEY | tiers | jamais | Le cookie ytidb::LAST_RESULT_ENTRY_KEY est utilisé par YouTube pour stocker le dernier résultat de recherche sur lequel l'utilisateur a cliqué. Ces informations sont utilisées pour améliorer l'expérience utilisateur en fournissant des résultats de recherche plus pertinents à l'avenir. |
