03/CMAP28 (ex(1) "picpus.polytechnique.fr")
03/
03/20141218132034
03/
03/31 LongueurDuSourceSimplifie.......................................... : .............211 "Blanc_(format_octet)"
03/
03/31 LongueurDuBinaireNonExecutable..................................... : ............1808 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsArithmetiquesDeSynthese......................... : .........3150850 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeSynthese...................................... : ........18885641 "Blanc_(format_octet)"
03/
03/31 ProportionDePointsLumineux......................................... : 1 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression00................................. : .........5420524 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression01................................. : ........84530901 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression03................................. : .......389555415 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression04................................. : .......235407307 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression07................................. : .......711292003 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression08................................. : ........84530901 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression0A................................. : .......711292005 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression0B................................. : .......716077873 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression0C................................. : ........25495821 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeCompression0X................................. : ........84530901 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression00.................................. : .........1094539 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression01.................................. : ........30066776 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression03.................................. : ........83277074 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression04.................................. : ........50862458 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression07.................................. : .......254984187 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression08.................................. : ........30066776 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression0A.................................. : .......254984188 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression0B.................................. : .......256322966 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression0C.................................. : .........7418051 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeCompression0X.................................. : ........30066776 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression00............................... : .........1060459 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression01............................... : .........5818196 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression03............................... : ........27423846 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression04............................... : ........14552467 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression07............................... : ........28909815 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression08............................... : .........5818196 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression0A............................... : ........28909815 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression0B............................... : ........28917628 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression0C............................... : ...........32132 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeCompression0X............................... : .........5818196 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression00................................................ : +0.000000 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression01................................................ : +0.999957 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression03................................................ : +0.999777 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression04................................................ : +0.999287 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression07................................................ : +0.999774 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression08................................................ : +0.999957 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression0A................................................ : +0.999774 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression0B................................................ : +0.999729 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression0C................................................ : +0.980693 "Blanc_(format_octet)"
03/
03/31 TauxDeCompression0X................................................ : +0.999957 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee00....................................... : .1048576/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee01....................................... : ......45/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee03....................................... : .....234/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee04....................................... : .....748/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee07....................................... : .....237/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee08....................................... : ......45/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee0A....................................... : .....237/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee0B....................................... : .....284/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee0C....................................... : ...20245/1048576 "Blanc_(format_octet)"
03/
03/31 LongueurDeLImageCompressee0X....................................... : ......45/1048576 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee00............................ : 0.000000 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee01............................ : 0.661111 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee03............................ : 0.750534 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee04............................ : 0.813168 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee07............................ : 0.486287 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee08............................ : 0.661111 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee0A............................ : 0.486287 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee0B............................ : 0.534331 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee0C............................ : 0.000031 "Blanc_(format_octet)"
03/
03/31 ProportionDeBits0DansLImageCompressee0X............................ : 0.661111 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises00................................. : CDC__00 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises01................................. : CDC__01 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises03................................. : CDC__03 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises04................................. : CDC__04 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises07................................. : CDC__07 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises08................................. : CDC__08 "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises0A................................. : CDC__0A "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises0B................................. : CDC__0B "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises0C................................. : CDC__0C "Blanc_(format_octet)"
03/
03/31 CompresseurDeCompresseurUtilises0X................................. : CDC__01 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression00............................... : .........5418830 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression01............................... : ........19064243 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression03............................... : .......361740829 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression04............................... : ........63491780 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression07............................... : ........14379160 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression08............................... : ........19064243 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression0A............................... : ........14379162 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression0B............................... : ........19151568 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression0C............................... : ........16271138 "Blanc_(format_octet)"
03/
03/31 NombreDInstructionsDeDeCompression0X............................... : ........19064243 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression00................................ : .........1094043 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression01................................ : .........3507158 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression03................................ : ........75487869 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression04................................ : ........13767250 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression07................................ : .........3551682 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression08................................ : .........3507158 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression0A................................ : .........3551682 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression0B................................ : .........4877820 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression0C................................ : .........4302523 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesLuesDeDeCompression0X................................ : .........3507158 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression00............................. : .........1060533 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression01............................. : .........1227470 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression03............................. : ........22974144 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression04............................. : .........7773259 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression07............................. : .........1310280 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression08............................. : .........1227470 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression0A............................. : .........1310279 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression0B............................. : .........1317068 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression0C............................. : .........2110107 "Blanc_(format_octet)"
03/
03/31 NombreDDonneesEcritesDeDeCompression0X............................. : .........1227470 "Blanc_(format_octet)"
03/
04/CMAP28 (ex(1) "porte-brancion.polytechnique.fr")
04/
04/20150822144027
04/
04/31 LongueurDuSourceSimplifie.......................................... : .............211 "Blanc_(format_octet)"
04/
04/31 LongueurDuBinaireNonExecutable..................................... : ............1808 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsArithmetiquesDeSynthese......................... : .........3150850 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeSynthese...................................... : ........18885641 "Blanc_(format_octet)"
04/
04/31 ProportionDePointsLumineux......................................... : 1 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression00................................. : .........5422750 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression01................................. : ........84532573 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression03................................. : .......389935009 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression04................................. : .......235443243 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression07................................. : .......711309212 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression08................................. : ........84532573 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression0A................................. : .......711309212 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression0B................................. : .......716095414 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression0C................................. : ........25498092 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeCompression0X................................. : ........84532573 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression00.................................. : .........1095213 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression01.................................. : ........30067397 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression03.................................. : ........83329476 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression04.................................. : ........50873429 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression07.................................. : .......254989982 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression08.................................. : ........30067397 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression0A.................................. : .......254989982 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression0B.................................. : .......256328749 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression0C.................................. : .........7418697 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeCompression0X.................................. : ........30067397 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression00............................... : .........1060489 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression01............................... : .........5818223 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression03............................... : ........27450208 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression04............................... : ........14553101 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression07............................... : ........28909897 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression08............................... : .........5818223 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression0A............................... : ........28909897 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression0B............................... : ........28917710 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression0C............................... : ...........32162 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeCompression0X............................... : .........5818223 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression00................................................ : +0.000000 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression01................................................ : +0.999957 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression03................................................ : +0.999777 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression04................................................ : +0.999287 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression07................................................ : +0.999774 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression08................................................ : +0.999957 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression0A................................................ : +0.999774 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression0B................................................ : +0.999729 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression0C................................................ : +0.980693 "Blanc_(format_octet)"
04/
04/31 TauxDeCompression0X................................................ : +0.999957 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee00....................................... : .1048576/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee01....................................... : ......45/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee03....................................... : .....234/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee04....................................... : .....748/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee07....................................... : .....237/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee08....................................... : ......45/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee0A....................................... : .....237/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee0B....................................... : .....284/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee0C....................................... : ...20245/1048576 "Blanc_(format_octet)"
04/
04/31 LongueurDeLImageCompressee0X....................................... : ......45/1048576 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee00............................ : 0.000000 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee01............................ : 0.661111 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee03............................ : 0.750534 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee04............................ : 0.812166 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee07............................ : 0.486287 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee08............................ : 0.661111 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee0A............................ : 0.486287 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee0B............................ : 0.534331 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee0C............................ : 0.000031 "Blanc_(format_octet)"
04/
04/31 ProportionDeBits0DansLImageCompressee0X............................ : 0.661111 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises00................................. : CDC__00 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises01................................. : CDC__01 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises03................................. : CDC__03 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises04................................. : CDC__04 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises07................................. : CDC__07 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises08................................. : CDC__08 "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises0A................................. : CDC__0A "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises0B................................. : CDC__0B "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises0C................................. : CDC__0C "Blanc_(format_octet)"
04/
04/31 CompresseurDeCompresseurUtilises0X................................. : CDC__01 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression00............................... : .........5421307 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression01............................... : ........19066004 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression03............................... : .......362123730 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression04............................... : ........63524638 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression07............................... : ........14396272 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression08............................... : ........19066004 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression0A............................... : ........14396272 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression0B............................... : ........19168725 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression0C............................... : ........16273263 "Blanc_(format_octet)"
04/
04/31 NombreDInstructionsDeDeCompression0X............................... : ........19066004 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression00................................ : .........1094675 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression01................................ : .........3507783 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression03................................ : ........75544183 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression04................................ : ........13777417 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression07................................ : .........3557331 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression08................................ : .........3507783 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression0A................................ : .........3557331 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression0B................................ : .........4883471 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression0C................................ : .........4303157 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesLuesDeDeCompression0X................................ : .........3507783 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression00............................. : .........1060571 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression01............................. : .........1227498 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression03............................. : ........23004729 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression04............................. : .........7773752 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression07............................. : .........1310362 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression08............................. : .........1227498 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression0A............................. : .........1310362 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression0B............................. : .........1317150 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression0C............................. : .........2110145 "Blanc_(format_octet)"
04/
04/31 NombreDDonneesEcritesDeDeCompression0X............................. : .........1227498 "Blanc_(format_octet)"
04/
Copyright © Jean-François Colonna, 2013-2021.
Copyright © CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / Ecole Polytechnique, 2013-2021.