Cryptographie quantique

Transcription

1 Une introduction élémentaire Dimitri Petritis UFR de mathématiques Université de Rennes 1 et CNRS (UMR 6625) Rennes, septembre décembre 2014

2 La position du problème Des pans entiers de l activité scientifique (et plus généralement humaine) reposent sur l extraction, le traitement, la transmission et la protection de l information. Aujourd hui : ces opérations sont automatisées, programmées et exécutées sur dispositifs electroniques fiables. Nous pouvons raisonner sur catégories mathématiques abstraites et circuits logiques des ordinateurs, sans nous soucier du substrat physique sur lequel s exécutent ces opérations. Car nous pouvons et pour quelque temps encore le faire! Mais nous devons de nouveau nous intéresser au substrat physique.

3 Plan du cours Fondements Brève histoire des sciences 1 Brève histoire des sciences. Physique : 1900, > Informatique : de la machine de Babbage à Xeon E Postulats de la mécanique classique. Modèle statistique. Réductibilité de l aléa classique ; insuffisance de la description classique. 3 Postulats de la mécanique quantique. Illustration par modèle simple. Le rôle de l espace de Hilbert. 4 Quelques notions hilbertiennes. Classes d opérateurs ; théorème spectral. Produit tensoriel ; trace partielle ; intrication ; marginales quantiques. Irréductibilité de l aléa quantique. Opérateurs complètement positifs ; PVP et mesures franches ; PVOP et mesures floues.

4 Plan du cours Applications Brève histoire des sciences 5 Principes de cryptographie quantique. Étude détaillé du protocole BB84. Analyse des effets d intrusion ; gain d information / perturbation. Autres protocoles. 6 Communication quantique. Téléportation ; codage dense. Codes correcteurs d erreur quantiques. 7 Calcul quantique. Portes quantiques et calcul réversible. Algorithme quantique de Shor pour la factorisation en premiers. Algorithmes quantiques pour des courbes elliptiques.

5 De la physique ou de la vérité expérimentale Brève histoire des sciences La physique est une science expérimentale Expérience Phénoménologie Théorie Modèle

6 Illustration du cycle incessant de la physique Exemple : Un piston contenant un gaz parfait, quasiment isolé du reste du monde. Préparation précise du système : état. L expérience : Interaction avec appareils de mesure manomètre (mesure l observable p), thermomètre (mesure l observable T ), règle (mesure l observable V ), introduisant une perturbation négligeable sur l état. La phénoménologie : pv /T = const (loi de Boyle-Mariotte). Le modèle (après beaucoup d autres expériences) : la thermodynamique des gaz parfaits. La théorie (explication microscopique) : théorie cinétique de gaz. (Théorie plus complète : physique statistique.) Tableau 1: Mécanique classique, électromagnetisme.

7 Premiers enseignements de la nature expérimentale de la Physique Théories physiques ont temps de vie fini ; acceptées tant que non contredites par expérience. Vérité physique basée sur expérience : préparation du système dans un état σ S précis, interaction du système avec appareil de mesure, enregistrement des résultats de mesure d une observable O O. Conséquences de la nature expérimentale de la Physique erreurs statistiques mais réproductibilité statistique, perturbation induite par appareil de mesure peut devenir négligible, Expérience : modèle statistique (S, O) S O (σ, O) P σ,o M 1(O, O). Physique doit être universelle. Dans quête d universalité, la Physique a un allié : les Mathématiques.

8 Physique, Mathématiques, Physique Mathématique Histoire d une osmose Physique utilise Mathématiques pour formuler concepts et faire prédictions quantitatives. Mathématiques développent nouveaux outils inspirés par problèmes physiques. Physique mathématiqie est Physique : affirmations doivent être corroborées expérimentalement, Mathématiques : affirmations doivent être obtenues comme théorèmes découlant d un petit nombre d axiomes (postulats). Tableau 2: Exemples.

9 Fausses certitudes et une bonne dose d arrogance Fin du 19e siècle : «Physique terminée en tant que science fondamentale» ; quelques problèmes mineurs à résoudre. Jeunes conseillés ne pas perdre temps avec Physique mais s orienter vers... finance ou technologie. Mais attendons une minute! CM locale x = g x ; t = t g O(3) complète x = x + a ; t = t + s groupe de Galilée EM locale (t, x ) = g (t, x) g O(1, 3) complète (t, x ) = (t, x) + (s, a) groupe de Poincaré Pourquoi 2 groupes d invariance différents?

10 Début du 20e siècle Tout s écroule 1 Le... petit problème : équations de Maxwell. E = ρ ɛ 0 ; E = B t B = 0 ; B = µ 0(J + ɛ 0 E t ) Dans le vide : ρ = 0 ; J = 0 ; c 2 = ɛ 0µ 0. 0 E = Re(a exp(2πi(z ct)/λ)); B = a E; a cos α 1 sin αa. 0 (Figure de A. Childs, Introduction to quantum mechanics)

11 Début du 20e siècle Tout s écroule 2 Expérience de Michelson-Moreley (1887, ) : L éther n existe pas! Becquerel (1896) découvre radioactivité : la matière n est pas stable! Boltzmann, Thomson, Einstein, Perrin ( ) établissent existence de atomes : la matière n est pas continue!

12 Début du 20e siècle Tout s écroule 3 Figure: Théorie classique (Rayleigh) de rayonnement du corps noir en désaccord avec obervation expérimentale (source de la figure : wikipedia). Figure. Théorie classique n explique pas phénomène photoélectrique, découvert par Becquerel (1837) (source de la figure : wikipedia).

13 Début du 20e siècle La révolution Planck (1900) propose explication phénoménologique audacieuse du rayonnement du corps noir : les niveaux d énergie sont discrets. Einstein (1905) introduit relativité restreinte : unification de mécanique classique et électromagnétisme. Deux principes simples : Vitesse de la lumière c constante universelle, la même dans tous référentiels. Lois de Physique invariantes dans tous référentiels inertiels. Conséquences : pas besoin d éther mais espace et temps non absolus! Bohr, Heisenberg, Pauli, Dirac, Schrödinger, von Neumann ( ) considèrent l idée de Planck sérieusement et introduisent Mécanique : l énergie n est pas continue mais «quantifiée».

14 Une théorie physique générale doit décrire tout phénomène dans l univers Unités de mesure introduites lors de la Révolution pour que les grandeurs de tous les jours aient de valeurs numériques raisonnables, typiquement Longueur l : m (rayon du proton) m (rayon de l univers). Masse m : kg (masse de l électron) kg (masse de l univers). Temps t : s (temps de traversée du noyau atomique) s (âge de l univers).

15 Théorie quantique des champs Deux constantes physiques : constante de Planck = Js, vitesse de la lumière dans le vide c = m/s. Relativité restreinte 0 Théorie quantique des champs c 0 c Mécanique quantique Mécanique classique

16 Peut-on ignorer phénomènes quantiques? NON!

17 Peut-on exploiter Mécanique quantique? Oui déjà Yes, we can! 1/3 de l économie mondiale repose sur des applications découlant de phénomènes quantiques. Exemples : Semiconducteurs : toute la technologie informatique. Laser : CD, DVD, communications par fibre optique, chirurgie, metallurgie,... Supraconductivité : champs magnétiques in tenses, effet Meissner effect et lévitation magnetique,... Effet tunnel : microscope à effete de champs, applications en nanotechnologie, fullerenes,... Cryptographie et communications quantiques : distribution de la clé de manière inviolable, téléportation d états quantiques, codage superdense,...

18 Nature probabiliste Reproductibilité statistique des expériences : plusieurs répétitions fluctuations aléatoires de plus en plus petites. Il existe large classe de phénomènes (ex. mouvement celeste) où fluctuations aléatoires négligeables. Description déterministe de la physique des 18e et 19e siècles. Illusion d universalité. Il existe large classe de phénomènes (ex. pile ou face) où fluctuations aléatoires importantes. Description déterministe du mouvement mais condition initiale aléatoire. Il existe large classe de phénomènes (ex. comportement de petites particules atomiques ou subatomiques) où fluctuations aléatoires importantes. Description intrinsèquement stochastique, irréductible à l approche classique.

19 Nature probabiliste Irréductibilité de l aléa quantique L aléa classique est réductible! Figure: From : Diaconis, Holmes, Montgomery, Dynamical bias in the coin toss, SIAM Review L aléa quantique est irréductible!

20 Pourquoi l informatique pose problème? Des pans entiers de l activité scientifique (et plus généralement humaine) reposent sur l extraction, le traitement, la transmission et la protection de l information. Des nos jours : ces étapes basées sur des programmes informatiques exécutés par dispositifs électroniques fiables. On peut raisonner sur catégories mathématiques abstraites sans se soucier du dispositif physique réalisant les circuits logiques de l ordinateur. Car on peut maintenant et pour quelque temps encore se le permettre!

21 La pré-histoire Avant la... révolution ( 1946) Charles Babbage (Londres 1791 Londres 1871) inventa la machine à calculer et imprimer les valeurs des polynômes ; fonctionna avec des cartes perforées sur le modèle des métiers à tisser de Joseph Marie Jacquard. Figure: Charles Babbage et... sa source d inspiration : le métier à tisser de Jacquard.

22 La pré-histoire La machine analytique de Babbage Figure: La machine analytique construite par Babbage et les cartes perforées nécessaires pour sa programmation.

23 Brève histoire des sciences La pré-histoire La programmation de la machine de Babbage Augusta Ada King, comtesse de Lovelace, née Ada Byron (Londres 1815 Londres 1852) rédige méthode de calcul des nombres de Bernoulli (Bn ) m n X 1 X k Cm+1 Bk nm+1 k. Sm (n) = km = m+1 k=1 k=0 Premier algorithme conçu pour être exécuté sur machine (de Babbage).

24 La pré-histoire Les travaux de Turing Brève histoire des sciences Alan Mathison Turing (Londres 1912 Cheshire 1954), mathématicien, logicien, cryptanalyste et informaticien (avant l heure!) qui cassa le code de cryptage Enigma utilisé par les sous-marins allemands pendant la guerre à l aide de la machine «bombe». Figure: Alan Turing et une d environ 200 répliques de la «bombe».

25 La proto-histoire ( 1946) Les travaux de von Neumann Margittai Neumann János Lajos Budapest 1903 John von Neumann Princeton 1954, mathématicien et physicien avec des contributions essentielles en mécanique quantique, analyse fonctionnelle, théorie des ensembles, informatique, sciences économiques ainsi que dans beaucoup d autres domaines des mathématiques et de la physique. Il a participé aux programmes militaires américains. Figure: John von Neumann et un schéma de l architecture qui porte son nom.

26 La proto-histoire ( 1946) Il fut un temps où l on devait se soucier du substrat physique! 1946 : Electronic numerical integrator and computer (ENIAC) premier ordinateur universel construit par l ingénieur John Adam Presper Eckert Jr. (Philadelphia, PA, 1919 Bryn Mawr, PA, 1995) et le physicien John William Mauchly (Cincinatti, OH, 1907 Ambler, PA, 1980) tubes cathodiques masse 30 tonnes 72m 2 d emprise au sol puissance électrique 140kW fréquence d horloge 100kHz (330 multiplications par seconde).

27 1946 : ENIAC Un aperçu de la salle machine Figure: La salle machine de l ENIAC.

28 1946 : ENIAC Son pouponnage Brève histoire des sciences Figure: Un technicien en train de changer un des tubes de l ENIAC.

29 1946 : ENIAC Sa programmation Brève histoire des sciences Figure: Deux opératrices en train de... programmer l ENIAC.

30 1946 : ENIAC Sa programmation est maintenant finie... Figure: Ça y est, la programmation est maintenant finie!

31 L histoire 1947 Brève histoire des sciences Décembre 1947 : Invention du transistor par les physiciens William Bradford Shockley (Londres 1910 Palo Alto, CA 1989), Walter Houser Brattain (Amoy, Chine, 1902 Seattle, WA, 1987) et John Bardeen (Madison, WI, 1908 Boston, MA, 1991) dans les laboratoires de Bell Telephone. Figure: Bardeen, Brattain et Shockley et un accident de laboratoire qui ne tardera à être utilisé en informatique : le transistor!

32 L histoire Brève histoire des sciences Janvier 1948 : Wallace Eckert de chez IBM et son équipe terminent le SSEC (Selective Sequence Electronic Calculator). Juin 1948 : NewMan, Williams et leur équipe de l université de Manchester terminent une machine prototype appelée Manchester Mark I. Août 1949 : P. Eckert et J. Mauchly, ayant formé leur propre compagnie, mettent au point le premier ordinateur bi-processeur : le BINAC pour l US Navy. Les deux processeurs effectuaient les mêmes opérations en parallèle pour augmenter la fiabilité des calculs : Le calculateur de Konrad Zuse, le Z4 fabriqué pendant la guerre, est finalement remonté à l école polytechnique de Zurich puis modifié pour pouvoir réaliser des sauts et branchements conditionnels.

33 L histoire Brève histoire des sciences 1950 : Assembleur, inventé par Maurice V. Wilkes de l université de Cambridge, remplace le binaire. Janvier 1951 : Création du premier ordinateur soviétique MESM sous la direction de Sergei Alexeevich Lebedev à l académie des Sciences d Ukraine : Mise au point du tambour de masse magnétique ERA Première mémoire de masse de 1 Mbit : P. Eckert et J. Mauchly lancent l UNIVAC I (UNIversal Automatic Computer). Premier ordinateur commercial (750000$ de soit $ de 2010 pour l ordinateur et $ de $ de 2010 pour l imprimante rapide) additions ou 555 multiplications par seconde. 56 exemplaires vendus : IBM produit l IBM 701 pour la défense américaine (19 exemplaires produits). Mémoire à tubes cathodiques de 2048 ou 4096 mots de 36 bits et additions ou 2200 multiplications par seconde. La première machine sera installée à Los Alamos pour le projet de bombe thermo-nucléaire US.

34 L histoire Brève histoire des sciences 1952 : Le premier ordinateur français, le CUBA (Calculateur Universel Binaire de l Armement), est construit par la société SEA. Juillet 1953 : IBM premier ordinateur commercial en série : l IBM 650, conçu pour être compatible avec les machines de comptabilité mécanique à cartes perforées de la marque : Premier réseau informatique à but commercial : SABRE (Semi Automated Business Related Environment) réalisé par IBM, relie 1200 téléscripteurs à travers les États-Unis pour la réservation des vols de la compagnie American Airlines : IBM 704 développé par Gene Amdahl. Première machine commerciale disposant d un coprocesseur mathématique. Puissance : 5 kflops (milliers d opérations en virgule flottante par seconde). Machine très... fiable ne tombant en panne qu une fois par... semaine.

35 La première révolution : l ère du transistor et la deuxième génération 1956 : Premier ordinateur à transistors par la Bell : le TRADIC qui amorce la seconde génération d ordinateurs : Lancement du premier ordinateur commercial entièrement transistorisé, le CDC 1604, développé par Seymour Cray : Démonstration du premier circuit intégré crée par Texas Instruments : Le projet MAC (Multi Access Computer) du MIT dirigé par John Mc Carthy. But : permettre à plusieurs personnes de travailler sur un même ordinateur : Première puce mémoire créée par Intel et contenant l équivalent de 1024 tores de ferrite très encombrants sur un carré de 0.5mm de côté (capacité : 1kBit soit 128 octets).

36 La deuxième révolution 1971-aujourd hui : l ère du microprocesseur et la troisième génération Novembre 1971 : Intel met en vente le premier microprocesseur Intel 4004 conçu par Marcian Hoff. Processeur 4 bits tournant à 108 KHz, Permet d adresser 640 octets de mémoire, instructions par seconde, 2300 transistors en technologie 10 microns, Prix : 200 $.

37 Que nous apprend l histoire? Projection sur l avenir (nombre de transistors) Figure: Gordon Earl Moore (San Francisco, CA, 1929 ), l officier de la marine qui proposa «la loi de Moore» (illustrée au milieu) et un des derniers microprocesseurs (Intel Core I7 Nehalem (2008), d une surface de 263mm 2 ).

38 Que nous apprend l histoire? Un petit intermède de cristallographie Silicium (Si) = solide se cristallisant selon le mode «diamant». Répétition périodique d un cube de a = nm de côté. Distance interatomique 3 4 a = nm.

39 Que nous apprend l histoire? Projection sur l avenir (épaisseur du trait) Nombre de Finesse de Largeur transistors gravure (nm) Date Nom Fréquence de l'horloge des données MIPS 0,06 Intel khz bits/4 bits bus bits/8 bits bus 0,64 Intel MHz bits/8 bits bus 0,33 Intel MHz bits/16 bits bus 1 Intel à 16 MHz (20 MHz chez AMD) bits/32 bits bus 5 Intel à 40 MHz bits/32 bits bus 20 Intel à 100 MHz à bits/64 bits bus 100 Pentium (Intel P5) à 233 MHz à bits/64 bits bus 300 Pentium II à 450 MHz à bits/64 bits bus 510 Pentium III à MHz à bits/64 bits bus 1700 Pentium ,3 à 3,8 GHz à bits/64 bits bus à 3,6 GHz Pentium 4 D (Prescott) 2006 Core 2 Duo (Conroe) bits/64 bits bus ,4 GHz (E6600) Core 2 Quad (Kentsfield) 3 GHz (Q6850) * bits/64 bits bus 2* (?) bits/64 bits bus ~ Core 2 Duo (Wolfdale) 3,33 GHz (E8600) Core 2 Quad (Yorkfield) 2* ,2 GHz (QX9770) ~2* bits/64 bits bus Intel Core i7 (Bloomfield) ,33 GHz (Core i7 975X)? bits/64 bits bus 2009 Intel Core i5/i7 (Lynnfield) bits/64 bits bus GHz (I7 880) 2010 Intel Core i7 (Gulftown) bits/64 bits bus ,47 GHz (Core i7 990X) (Sandy Bridge) 2012 Intel Core i3/i5/i7 (Ivy Bridge) 22 Pour mémoire : épaisseur d un cheveu humain 100µm, 0.032µm = 32nm ( Core i3 Clarckdale), 0.022µm = 22nm ( Xeon E Ivy Bridge), 0.016µm = 16nm (prévu pour source Intel), 0.011µm = 11nm (prévu pour source Intel). distance interatomique du silicium 235.2pm nm.

40 La fin des certitudes ( ) L ère du microprocesseur (3e génération d ordinateurs), par sa fiabilité accrue, nous a fait oublier le dispositif physique qui sous-tend le dispositif logique. Développement exponentiel nous mène inéluctablement vers 4e génération d ordinateurs (quantiques), où l on doit recommencer à se soucier du dispositif physique sous-jacent, changer de référentiel mental car physique quantique ne suit pas l intuition classique.

41 Factorisation de grands entiers avec seulement deux facteurs premiers p et q grands premiers, N = pq, n = log N Débuts protocole RSA (1978), τ = O(exp(n)). Lenstra-Lenstra (1997), τ = O(exp(n 1/3 (log n) 2/3 )). Shor (1994), si ordinateur quantique existait τ = O(n 3 ). Estimation grossière : 1 opération par nanoseconde, n = 1000 O(exp(n)) O(exp(n 1/3 (log n) 2/3 )) O(n 3 ) yr yr 1 s 1. Pour mémoire : âge de l univers yr

42 Variables aléatoires I Espace mesurable abstrait (Ω, F). Espace mesurable concret (X, X ). V.a. à valeurs dans X application (F, X )-mesurable X : Ω X. Mesure de probabilité P M 1(F). Remarque P n intervient pas directement dans définition de X. Induit cependant loi de X : X A P X (A) := P(X 1 (A)) = P({ω Ω : X (ω) A}). Remarque Important dans définition de X : espace concret X, pas espace abstrait Ω. X = {0, 1}, X = P(X), P X = 1 (δ0 + δ1). 2 Question primordiale : Comment joue-t-on au «pile ou face»?

43 Réponse du mathématicien D après Kolmogorov : il existe un espace probabilisé (Ω, F, P) et une variable aléatoire X : Ω X, tels que P({ω Ω : X (ω) = 0}) = 1/2. Il est même capable de vous donner des exemples explicites d espaces (Ω, F, P) et de variables X! On peut jouer au «pile ou face» mais comment joue-t-on vraiment?

44 Réponse de l informaticien On appelle indéfiniment générateur de nombres aléatoires (U n ) (uniformément distribués sur [0, 1]). On construit la suite { 0 si Un < 1/2 X n = 1 si U n 1/2. (X n ) est une suite i.i.d. de «pile ou face» honnêtes. Exemple d un «bon» générateur de nombre aléatoires : Choisir entier N 0 arbitraire entre 1 et m, où m = Construire, pour n 0, récurrence N n+1 = 16807N n mod m. Retourner U n = N n/m. (U n) est la suite des uniformes sur [0, 1] de l informaticien. Mais comment joue-t-on vraiment au «pile ou face»?

45 Réponse du physicien (classique) I Pièce de monnaie = corps solide suit équations de Newton. Sol approximativement plastique pièce s immobilise. Ω = (R 2 R + R 3 R 3 S 2 ) muni de sa tribu borélienne B(Ω). Pièce lancée avec condition initiale distribuée selon P à «petit support», suit flot newtonien. T = inf{t > 0 : Z t = 0, V t = 0, M t = 0}. X = { 0 si NT e si N T e 3 > 0. Donc aléa classique = réductible.

46 Réponse du physicien (classique) II [Diaconis, Holmes, Montgomery, Dynamical bias in the coin toss, SIAM Review 2007.]

47 Réponse du physicien (classique) III Detail de la stratification de l espace des phases pour le lancer d une pièce. Mais comment joue-t-on vraiment au «pile ou face»?

48 Réponse de Kolmogorov Définition B = {0, 1}, B = n N B n, T machines de Turing, K : T B leur codage en binaire. Complexité de Kolmogorov de β B : C(β) := inf{ K(t)α : t T, t sur entrée α s arrête donnant β}. Suite β est dite aléatoire, si C(β) = O( β ). Corollaire Il n existe ni d algorithme informatique ni de système physique (classique) fini permettant de jouer au «pile ou face». Réductibilité de l aléa classique.

49 Rappel sur noyaux stochastiques I Définition (Ω, F) et (X, X ) espaces mesurables. Application K : Ω X [0, 1] est un noyau stochastique de (Ω, F) dans (X, X ) si ω Ω, K(ω, ) probabilité sur X et A X, K(, A) fonction mesurable.

50 Rappel sur noyaux stochastiques II K(ω, ) probabilité ; définit foncteur contravariant bx f Kf bf par Z Kf (ω) := K(ω, dx)f (x). K(, A) fonction mesurable (bornée) ; définit foncteur covariant M 1(F) µ µk M 1(X ) par Z µk(a) := µ(dω)k(ω, A). X Ω bf x b? b(k):=k bx x??b (Ω, F) K (X, X ) M 1??y??y M 1 M 1(F) M 1 (K):=K M 1(X ).

51 Modèle statistique 1 comme description mathématique d une expérience Postulat (États et observables) États : S. Préparation du système. Observables : O. X O, X := X X espace de valeurs considéré fini. Règle de décision. Expérience : S O (µ, X ) ν µ X M 1(X). Information expérimentale de nature probabiliste. Réproductibilité statistique : ν µ X fréquentielle. accessible par répétition et stabilité

52 Modèle statistique 2 comme description mathématique d une expérience Postulat (Mélange) µ 1, µ 2 S, p [0, 1] : µ = pµ 1 + (1 p)µ 2 S. S fermé par mélange convexe.

53 Inégalités de Bell Brève histoire des sciences Si variables cachées théorie de Kolmogorov valide. Proposition (Inégalité de Bell à quatre variables) X 1, X 2, Y 1, Y 2 quadruplet arbitraire de v.a. à valeurs dans {0, 1}. Alors P(X 1 = Y 1 ) P(X 1 = Y 2 ) + P(X 2 = Y 2 ) + P(X 2 = Y 1 ). Démonstration. Les v.a. étant à valeurs dans {0, 1}, suffisant de vérifier sur les 16 réalisations possibles du quadruplet (X 1 (ω), X 2 (ω), Y 1 (ω), Y 2 (ω)) que {X 1 = Y 1 } {[X 1 = Y 2 ] [X 2 = Y 2 ] [X 2 = Y 1 ]}.

54 L expérience d Orsay [Aspect, Dalibard, Roger. Experimental test of Bell s inequalities using time-varying analyzers, Phys. Rev. Lett., 49 : (1982).] α i β j PM1 Ca PM2 Détection des coïncidences Expérience admet explication quantique mais pas classique. Établit impossibilité de description classique de l aléa quantique sans violation de localité.

55 Réfutation expérimentale de l hypothèse de variables cachées X α := 1 {photon gauche traverse si polariseur orienté α}. Y β := 1 {photon droit traverse si polariseur orienté β}. Fait expérimental : P(X α = Y β ) = sin 2 (α β). Inégalités de Bell : P(X α1 = Y β1 ) P(X α1 = Y β2 ) + P(X α2 = Y β1 ) + P(X α2 = Y β2 ). En choisissant α 1 = 0, α 2 = π/3, β 1 = π/2 et β 2 = π/6 : sin 2 (π/2) sin 2 ( π/6) + sin 2 ( π/6) + sin 2 (π/6); autrement dit 1 1/4 + 1/4 + 1/4.