M7R0
I%LVMB=6"%&falseGE\[l_q%#P5G<1<&"""""#""%""&<&F*F+F,""'<&F*F+F-F/<&F*""$F,F-<&F
*F2F,F/<&F*F2F-F/<&F+F2F,F-<&F+F2F,""(<&F+F2F-F/<&F+F2F/F7<&F+F,F/"")<&F+F,F7F;
<&F+F/F7F;<&F2F,F/F7<&F,F/F7F;%%StarGf*6$%&sigmaG%'ensensG6%%%cplxG%'etoileG%"i
GF$F$C&>8$-&F"6#%2Facettes2ComplexeG6#9%>8%<"?(8&F*F*-%%nopsG6#FK%%trueG@$-%'me
mberG6$-%&unionG6$9$-%#opG6$FVFKFK>FS<$-F^o6#FSF]oOFSF$F$F$%%PEURGf*6$%(ensfond
G%"VG6)%%testGFH%"kG%'trouveG%%courG%"nG%"lGF$F$C'>FKFZ>FSF*>8)-FXFP?(F$F*F*F$3
FK1FS-FX6#F\oC&>FVF*>8(-F^o6$FSF\o?(F$F*F*F$31FVFep/FKFZC'>8'""!>8*F*?(F$F*F*F$
31FhqF+1F[r-FX6#F_qC$@$-Fgn6$-Fjn6$-%&minusG6$F_q<#-F^o6$F[rF_q<#-F^o6$FVFQF\o>
Fhq,&FhqF*F*F*>F[r,&F[rF*F*F*@$5/FhqFiq1F+Fhq>FKF%>FV,&FVF*F*F*>FS,&FSF*F*F*OFK
F$F$F$%,Fond2SphereGf*6$FDFio6'%'facetsG%#nbGFHF\p%"MGF$F$C&>F_q-FX6#-F^o6$F\oF
*>FSFjp>FK<#-%$seqG6$-&F"6#%&ComplG6$-F^o6$FhqF\oFQ/Fhq;F*FSOFKF$F$F$%3Cohomolo
gieReduiteGf*6#FD6.FF%(sommetsG%)alexdualG%"tG%"jG%"dG%#hoG%$betG%$torG%#coGF\p
F_pF$F$C(>FK-FMF[q>Fep-&F"6#%2DimensionComplexeGFY>FS-&F"6#%0EnsembleSommetsGFY
>8/-FXFco>8-7"@'5/Fep!""/FWFiq-%&printG6#Qjple~complexe~vide~a~Z~comme~(-1)|cym
e~groupe~de~cohomologie~r|dyduite~(les~autres~groupes~sont~nuls)F$/Fep,&FgwF*F_
xF*>Fjw7$7#-F`u6$Fiq/8.;FiqFep7#-F`u6$F[xF\yC%>FV-&F"6#%.AlexanderDualG6$FKFS@%
/-F^w6#FVF_x>Fjw7$7$-F`u6$Fiq/F]y;Fiq,&FepF*F_xF*F*F_yC(>F[r-&F"6#%1HomologieRe
duiteGF\z>8+&F[r6#F*>8,&F[r6#F+>Fjw7$7#-F`u6$Fiq/F]y;Fiq,&FgwF*!"#F*7#-F`u6$F[x
Fh[l>Fhq-FX6#F\[l?(F_qFiqF*,&FgwF*!"$F*FZ@$1,(FgwF*F[\lF*F_qF_xFhqC$>&&FjwF^[l6
#,&F_qF*F*F*&F\[l6#Fg\l>&&FjwFb[lF\]l&F`[lF_]lFjwF$F$F$%#P8G<2<&F*F+F2F,<&F*F+F
2F7<&F*F+F,F7F1F4<&F*F2F/F7<&F*F,F-F/<&F*F,F/F7F5F8<&F+F2F/F;<&F+F2F7F;<&F+F,F-
F/<&F+F,F/F7F=<&F2F/F7F;Feuf*6$%'partieGFioF$F$F$O-Fir6$FQF\oF$F$F$%$P35G<6Ff]l
<&F*F+F2F;F)F0<&F*F+F/F7<&F*F+F7F;<&F*F2F,F;<&F*F,F-F;<&F*F-F/F;<&F*F/F7F;F5F8F
9F]^l<&F2F,F-F/F><&F2F,F7F;<&F,F-F/F7<&F,F-F7F;<&F-F/F7F;%$P24G<4Ff]lFg]lF)F0Fj
^l<&F*F2F,F7<&F*F,F-F7F^_l<&F*F-F7F;F__lF5F8F9F`_lF><&F,F-F/F;Fc_lF?%#P2G<0Ff]l
Fg]l<&F*F+F,F;F0<&F*F+F-F;Fj^lF1F4Fi]lF]_lF5F8F9<&F+F,F-F;%$P22G<3Ff]lFg]lFh]lF
1<&F*F2F-F;<&F*F2F7F;Fj]lF[^lF^_lF__lF5F8F9F^^lF_^l<&F2F-F/F;F`^lFOf*6#%$ensG6$
%%compGF\pF$F$C$>FK7#-F`u6$-F^o6#-&%)combinatG6#%)powersetG6#F`q/FS;F*FjpO<#-F^
oFYF$F$F$%)FacesDimGf*6$F_pFD6%FH%%skelGFFF$F$C&>FSFT>FVFL?(FKF*F*-FXF\zFZ@$/-F
X6#-F^o6$FKFV,&F\oF*F*F*>FS<$FboFjblOFSF$F$F$%$P33G<5Ff]lFg]lF)F^`lFj^l<&F*F+F/
F;Fg_lF]_l<&F*F,F7F;F__lF5F8F9<&F+F-F/F;F`_lF>Fb_lFc_lFd_l%$P10G<2Fg]lFi^lFh]lF
]`lF1F\_lF4Fi]lFj]lF[^lF5<&F+F2F,F;F8F9F^^lF_^l%-CoreComplexeGf*F^v6#%$corGF$F$
C$>FK-&F"6#%,CoreSommetsG6$F\o-FcwF[qO-&F"6#%/ComplexCompletG6$FKF\oF$F$F$%$P25
G<4Ff]lFg]lF)F0FbclF[_lFg_lFh_l<&F*F-F/F7F__lF5F8F\^lF]^lF`_lF>F`^lFb_l%,BaseCh
ainesGf*F^v6%FdvF\pFFF$F$C%>FVF[w>FKF[zO7#-F`u6$-%(convertG6$-&F"6#F\bl6$FSFV%%
listG/FS;F_xFKF$F$F$%$P19G<3Ff]lFg]lFh]lF1F4<&F*F2F/F;Fc`lFj]l<&F*F,F/F;FcclF5F
8F9F^^lF_^lF`^lF?%(SommetsGf*F^vF$F$F$O-F[fl6$FiqF\oF$F$F$%#P7G<1F.Fh]lF0<&F*F+
F-F7F3Fg_lF4Fb`lFc`lFi_l<&F+F2F,F/F6F8<&F+F2F-F7<&F2F-F7F;F`wf*F^vF$F$F$O,&-%$m
axG6#-F^o6#-%$mapG6$FXF\oF*F_xF*F$F$F$%)TypeGeomGf*6$Fdv%"vG6$%"mGF_pF$F$C%>FS,
&FQF*F\pF*>FK,(FS#F*F+F\o#F_xF+F_xF*O7%FKFSF\pF$F$F$%0DehnSommervilleGf*F^v6&%"
hGFHF[pF_pF$F$C(>FK-&F"6#%)hvecteurGF[q>FVFZ>FSFiq>Fhq,&FWF*F_xF*?(F$F*F*F$3FV1
FSFhqC$>FV-%#isG6#/&FK6#F]t&FK6#,(FhqF*F*F*FSF_x>FSF]tOFVF$F$F$%$P11G<3Ff]lFg]l
F)F0Fj^lFg_lFh_lF\elF5F8F\^lF]^lF=F`_lF>F`^lFb_l%$P27G<4Fh]lF]`lF[_lF4Fb`lFi]lF
c`lFj]lF]_lF[^lF5FgclF8F9F]^lF^^lF_^l<&F2F,F-F;%$P26G<3F.Fh]lF0F\glF3Fg_lF4<&F*
F2F-F7F]glFgclF\^lF<Fdcl<&F+F-F7F;Fa_lFd`lF_gl%%LinkGf*FB6&FF%$lnkGFH%%nterGF$F
$C&>FKFL>FSFT?(FVF*F*FWFZC$>Fhq-%*intersectG6$F]oF\o@$3Ffn/-FX6#FhqFiq>FSFaoOFS
F$F$F$%%TypeGf*F]hl6$FetF_pF$F$C%>FSFchl>FK,(FSF*F\oF_xF_xF*OFihlF$F$F$Fjzf*F^v
6%%&homolGFfvF\pF$F$@%5/FjpFiq/F\o<#FT-Fbx6#%gple~complexe~vide~a~Z~comme~(-1)|
cyme~groupe~d'homologie~r|dyduite~(les~autres~groupes~sont~nuls)GC%>FK-&F"6#%*H
omologieGF[q>FS&FKF^[lO7$,&FSF*7$F_x,$-F`u6$Fiq/FV;F*,&FhwF*F_xF*F_xF*&FKFb[lF$
F$F$%@GenerateursHomologieReduiteASECGf*Fat6)%&complG%%nonfG%'LcomplG%*Lhomolre
dG%$resGFHF\pF$F$C)>FKF[w>FS-&F"6#%)NonFacesG6$FKFQ>FV7#-F`u6$-Ffdl6$-F^o6$F[rF
SFK/F[r;F*Fhw>Fhq-Figl6$FhzFV>F_qF[x?(FepF*F*FhwFZ@$/-&F"6#%-NullHomologyG6#&Fh
q6#FepF%>F_q7$-F^oFar&FSFcamOF_qF$F$F$Fewf*F^v6$%%sommGF\pF$F$C$>FKFhflO<#-F`u6
$-F^o6#-F^o6$FSFK/FS;F*FWF$F$F$%7SuspensionCombinatoireGf*6%FD%$pt1G%$pt2GF$F$F
$O-&F"6#%&JointG6$F\o<$<#FQ<#9&F$F$F$%$PERGf*Fgo6)F[pF_pFHF\pF]pF^pF`pF$F$C'>FK
FZ>FVF*>FSFfp?(F$F*F*F$3FK1FVFjpC&>FhqF*>Fep-F^o6$FVF\o?(F$F*F*F$31FhqFSFeqC'>F
_qF%>F[rF*?(F$F*F*F$3/F_qF%1F[r-FXFcamC$>F_q-Fgn6$-Fjn6$-Fir6$Fep<#-F^o6$F[rFep
<#-F^o6$FhqFQF\o>F[rFds>FKF_q>FhqFbs>FVF[tOFKF$F$F$%$P20G<3Ff]lFi^lFh]lF[_lF1F4
FcflFj]lF[^lF__lF5F8F9F]^lF^^lF_^lF`^l%2Complexe2FacettesGf*6#FF6#FdvF$F$C$>FK-
F^wF[qO-F[flFidlF$F$F$Fcilf*F^v6(%"fGF]ilF\p%"sGF_pFHF$F$C'>FK-&F"6#%)fvecteurG
F[q>FSF[x>F_qFgil?(FVFiqF*F_qFZC$>Fhq-%$sumG6$*()F_x,&FVF*FepF_xF*-%)binomialG6
$,&F_qF*FepF_x,&F_qF*FVF_xF*&FK6#,&FepF*F*F*F*/Fep;FiqFV>FS7$FboFhqOFSF$F$F$%#P
4G<1F)F]`lF0FbclF1F3F4FdflF5F6F8F9F_^lF:F>%,Sphere2FondGf*Fat6'%"EGFdt%$dimGFHF
ctF$F$C(>FKFT>FVF\gm>F_q-F[flFedm>FSF`r?(FhqF*F*FSFZ>FK<$F[bl-Fcu6$-F^o6$FhqF_q
FQOFKF$F$F$%$P15G<2F)F.F0F1F3F4F5F6F8F9F:F<F=<&F2F,F/F;Fa_lF`^l%*SqueletteGf*F^
blF_blF$F$C&>FVFL>FSFT?(FKF*F*FeblFZ@$2Fhbl,&F\oF*F+F*>FSF^clOFSF$F$F$%)gvecteu
rGf*F^v6&F]ilF_p%"gGFHF$F$C'>FKF`il>FSFgil>FV7#F*?(FhqF*F*-%&floorG6#,$FSFfhlFZ
>FV7$-F^oF\z,&&FK6#FbsF*&FKFc\mF_xOFVF$F$F$%/IndispensablesGf*F^v6%F_p%&indisGF
HF$F$C%>FKFjp>FS-F^o6$F*F\o?(FVF+F*FKFZ>FS-F]\m6$FSFddmF$F$F$%$P29G<4Ff]lFg]lFh
]lF1F4Fi]lF]_lFcclF^_lF__lF5F8F9F^^lF:F<F=Fj_l%$P32G<5F)F]`lF0FbclFg_lF\_lFc`lF
h_lF\elF__lF5FgclF8F9F]^lF=F`_lF>Fb_l%*KroneckerGf*6$FHFcvF$F$F$@%/F\oFQOF*OFiq
F$F$F$%3ExpansionBinomialeGf*6$%"aGFH6&%'binexpGF\pF]p%#aiG6#%)rememberGF$C$>FK
F[x@%/F\oFiqOFKC&>FSFQ>FVF%?(F$F*F*F$/FVF%@%2F\o-Fehm6$FSFQC$>FVFZ>Fhq,&FSF*F_x
F*>FSF]t>FK7$7$FhqFQ-F^o6#-&F"6#Fb^n6$,&F\oF*-FehmF^fmF_x,&FQF*F_xF*F$F$F$Fadlf
*Fat6(FFF[dlFH%#stG%'enssomGF\pF$F$C&>FSFT>FKF[w?(FVF*F*FfpFZC$>Fhq-Fir6$FK-&F"
6#F@6$F^sF\o@$2FiqFb\m>FS<$FboF_sOFSF$F$F$%&EulerGf*F^v6#F]ilF$F$C$>FKF`ilO-F^j
l6#/F`^m&FK6#FWF$F$F$%$P37G<6Ff]lFi^lF)F0FbclF\_lFh_lFcclF^_lFi_lF5F8F9F]^lF=F`
_lF>Fa_lFb_lFd_l%#P3G<0Fg]lFi^lF)F]`lF0Fj^lF1F\_lF4Fi]lF5FgclF8F9%$P17G<2F.Fh]l
F0F\glF3Fg_lF4F_[mF]glFgclF8<&F+F2F-F;F<F`[mFa_lF_gl%$P18G<3Ff]lFg]lFh]lF1F4Fcf
lFc`lFj]lF[^lF__lF5F8F\^lF]^lF^^lF_^lF=Fj_mf*Fat6'Fg`l%(partiesGFHFFF\pF$F$C'>F
hqF[w>FS-FbalFP>FKFT?(FVF*F*FhwFZ@$/-Fgn6$-F^o6$FVFSFhqF%>FK<$F[blF`dnOFKF$F$F$
%1ConeCombinatoireGf*6$FD%#ptGF$F$F$O-F_cm6$F\o<#FdcmF$F$F$%$P14G<2F)F.F0F1F3F4
F5F6F8F\^lF]^lF:F<F>F`^lF?Fhgmf*F^v6$F_pF\pF$F$C$>FKF\gm@%1F_xFKO7$F*-F`u6$-FX6
#-F[flFaq/FS;FiqFKOF[xF$F$F$%%BordGf*6$%&simplGFD6&%%MatrG%%tempGFHFcvF$F$C%>FK
-%'MatrixG6%F*FfpFiq?(FVF*F*FjpFZC%>FS-%'subsopG6$/FV%%NULLGF\o-Fgn6%FSFQ.Fhq>&
FK6$F*Fhq)F_xF[tO-Fhel6$-_%.LinearAlgebraG%*TransposeG6#-Fhel6$FK%'VectorGF^flF
$F$F$Fgyf*Fat6'FFFHFecn%%dualGF\pF$F$C'>FhqFT>FKF[w>FVFicn?(FSF*F*FeblFZ@$/-Fgn
6$-Fcu6$-F^oF]flFQFKF%>Fhq<$-F^oFc\mFcinOFhqF$F$F$%.IsMissingFaceGf*6$FDFg`l6'F
FF[pFbgmFHFdtF$F$C(>FKF[w@%-Fgn6$FQFK>FSF%>FSFZ>F_qFfp>FhqF*?(F$F*F*F$3FS1FhqF_
qC%>FV-F_gn6$/FhqFbgnFQ@$/-FgnF_oF%>FSF%>FhqFbsOFSF$F$F$%+FanComplexGf*6$FDF_p6
#F\pF$F$O-%$fanG6#-F`u6$-&F"6#%%ConeG6$-F^oFidlFQ/FKFhalF$F$F$%)imbricatGf*6$%)
lisvect1G%)lisvect2G6&%'listv1G%'listv2G%#C1G%#C2GF$F$C'>FK-Figl6$f*6#F^hlF$6$%
)operatorG%&arrowGF$-Fhel6$-F^hn6#-Fhel6$-%$<,>GFb]nFdhnF^flF$F$F$F\o>FS-Figl6$
f*Fc]oF$Fd]oF$Fg]oF$F$F$FQ>FV-%(poshullG6#F[bl>Fhq-Fe^o6#FboO-_%'TorDivG%0inter
sectrelintG6$FVFhqF$F$F$F`\of*6$Fg`lF_p6&FH%#bcGFdtF\pF$F$C%>FS-&F"6#%.BaseCano
niqueGFP>FVFjpO-Fe^o6#-F`u6$&FS6#&F\oFc\m/Fhq;F*FVF$F$F$%*deltaReelGf*6$%)ensli
st1G%)enslist2G6%FH%#boGFetF$F$C%>FSF[x?(FKF*F*FjpFZ>FS7$Fbo-&F"6#F_fn6$&F\oFYF
QO-F^hn6#-FifnFcoF$F$F$%$P13G<1F)F]`lF0Fj^lF[_lF1F\_lF4Fi]lFc`lF5FgclF8F9F]^l%5
BaseHomologieReduiteGf*6#Fct6.%&bettiGFH%)resultatG%'differG%&cycleG%%bordGFcvF
efnF\pFgimF__m%&basesGF$F$C+>F]yF[w>Fgw-&F"6#F]el6#F]y>Fjw-FX6#Fgw>FVF[x>FK&-Fh
zF[qF^[l>FhqF[x?(FSF*F*,&FjwF*F_xF*FZ>Fhq7$Ffin-&F"6#Fe`o6$&FgwFbjl&FgwFco?(FSF
*F*FWFZC'>F_q-_F]_o%*intkernelG6#-Fhel6$&FhqFco%'matrixG@%0FSFW>Fep-_F]_o%)inti
mageG6$-Fhel6$&FhqFbjlFido-Fg_o6#-FX6#&Fgw6#,&FSF*F+F*>Fep7#7#-F`u6$Fiq/F`[l;F*
-FX6#&Fgw6#Fjw>F\[lFT?(F[rF*F*F`rFZ@$/-_F]_o%,intcontainsG6$7$-F^oFcam-F`u6$&F_
q6#F`[l/F`[l;F*,&F[rF*F_xF*&F_q6#F[rF%>F\[l<$-F^oFa\l-F_hm6$*&&FggoFcgoF*&F]doF
cgoF*/F`[l;F*-FX6#Fggo>FV7$Fd\nF\[lOFVF$F$F$%1ExposantBinomialGf*Fd^n6$Fg^nFefn
F$F$C&>FK-Fd`n6$F\oFQ>FS-Figl6$f*Ff`lF$Fd]oF$-Figl6$f*6#FHF$Fd]oF$F\clF$F$F$F\o
F$F$F$FK>FS-Fhel6$-Figl6$-%"@G6$FehmF^oFS%"+GOFSF$F$F$%$P31G<5F)F]`lF0Fj^lF[_lF
g_lF\_lFc`lFh_lF\elF5FgclF8F\^lF=F`_lF>F`^lFb_lFhdlf*6$Fg`lFD6'FbgmF__mFHF_pFFF
$F$C(>F_qFL>FK-FbalF[q>FSFT>FhqFW?(FVF*F*FhqFZ@$-Fgn6$F]oF_q>FSFaoOFSF$F$F$%%Di
agGf*6#%"AG6$FH%(torsionGF$F$C%>FSF[x?(FKF*F*-%$minG6$&-_F_hn%*DimensionGF[qFb[
l&F_\pF^[lFZ@$2F*&F\o6$FKFK>FS7$FboFe\pOFSF$F$F$%;CalculHomologieReduiteASECGf*
6#%)facettesG6)FFFdv%%vertGF^hl%$typGF_pF`hlF$F$C%>FKF[w>FVFbwO-&F"6#%5Homologi
eReduiteASECGF[clF$F$F$%$P34G<2F.Fh]lF0F\glF3Fg_lF4F_[mF:F<FdclF`[mFhjmFa_lFd`l
F_glFacmf*Fg`o6'%&cplx1G%&cplx2G%%joinGFHFcvF$F$C'>FKF[w>FSFL>FVFT?(FhqF*F*FWFZ
?(F_qF*F*FhwFZ>FV<$Fd\n-Fjn6$-F^o6$FhqFK-F^o6$F_qFSOFVF$F$F$%$P23G<4Ff]lFg]lF)F
0Fj^lFg_lFh_lF\elF5F8F\^lF]^lF=F`_lFhjmFa_lFb_lF?%$P16G<2F)F.F0F1F3F4F5F6F`cnF]
^lF_^lFdclF=F>Fd`lF`^l%$P28G<4Ff]lFg]lFh]lF1F4Fi]lFj]lF[^lFgclF8F`cnF9F<FdclF=F
\[mFj_lF?%,ImbricationGf*6$Fho%)listvectG6)FHFcv%%ind1G%%ind2GF[pFj\oF[]oF$F$C&
>F_qFZ>FKF*?(F$F*F*F$31FKFjpF_qC'>FS,&FKF*F*F*>FVFb\o>Fep7#-F`u6$&FQ6#-F^o6$F\p
FV/F\p;F*Febl?(F$F*F*F$3FipF_qC&>FhqF`q>F[r7#-F`u6$&FQ6#-F^o6$F\pFhq/F\p;F*Fb\m
>F_q-&F"6#Fd\o6$FepF[r>FSF]t>FKFd`pOF_qF$F$F$%(SimplexGf*Ff`lF$F$F$OFijoF$F$F$%
2GenerateursCyclesGf*F^bo6-%&BettiGF__mFcboFcvFeboFgimFbboFHF^hlF\p%%geneGF$F$C
*>FKF[x>FSF[w>F_q-FjboFco>FepF`r>F[rF[x?(F\[lF*F*FdzFZ>F[r7$-F^oFhgo-Fjco6$&F_q
6#,&F\[lF*F*F*&F_qFa\l?(F\[lF*F*-FXFhgoFZC&>FV-Fcdo6#-Fhel6$&F[rFa\lFido>F]yFT?
(FhqF*F*FeblFZC$>F`[l-Fhel6$&FVFc\mF^fl>F]y<$-F^oF\co-F_hm6$*&&F`[lFefoF*&F[dpF
efoF*/Fjw;F*-FXFcgo>FK7$F[blF]yOFKF$F$F$%#P1G<0Ff]lFg]lF)F^`lFj^lFbclF1F4Fi]lF^
_lF5F8F9Fdcl%)barnetteG<5Ff]lFg]lF]`lFj^lFbclFg_lFcclF\elF^_lFi_lF5F`cnF9F\^lF_
`l<&F2F,F-F7<&F2F-F/F7Fd`lFc_l%0HomologieSphereGf*F^v6'%$homGFFF[pFdvFHF$F$C)>F
SF[w>Fhq-F^wFco>FK-F\^mFco>FV-F^jl6#/-FX6#7#-F`u6$-F^o6#-F^o6$F\pF[_m/F\p;F*-FX
6#F[_mFiq>F_qF*?(F$F*F*F$31F_qFbsFVC$@%/F_qF*>FV-F^jl6#/&F`^mFarF*@%/F_qFbs>FVF
fhp>FV-F^jl6#/FihpFiq>F_qF]]lOFVF$F$F$F`amf*F^v6$F[pFHF$F$C%>FKFZ@%2Fiq-Fhel6$&
F\oF^[lF_jo>FKF%C$>FSF*?(F$F*F*F$3FK1FS-FX6#&F\oFb[lC$>FK-F^jl6#/-Fhel6$&FdjpFc
oF_joFiq>FSF]tOFKF$F$F$%#P9G<2Ff]lFi^lFh]lF[_lF1F4Fi]lFc`lFj]lF[^lF5F8F9F]^lF^^
lF_^l%$P30G<5Ff]lFg]lF)F0Fj^lFg_lFh_lF\elFgclF]^lF_`lFdclF=F`_lF\[mF>Fd`lF`^lFb
_l%0CohomologieASECGf*Fat6.FgimF__mF`_mFa_mFb_m%"pGF_pFfv%%torsGFH%%calcGF\pF$F
$C->F[rFfp>FSF[w>FV-Fh_mFh_n>FKFjfp>Fhq7#-F`u6$-Ffdl6$-F^o6$FgwFVFS/FgwF_ap>F_q
-Figl6$FhzFhq>F`[l7#-F`u6$F[x/Fgw;F*,(F[rF*FKF*F+F*>F\[l7#-F`u6$FiqF_]q>&F\[l6#
Fa]qF*?(FepF*F*,(F[rF*FKF*F*F*FZ?(FjwF*F*FeblFZC$>F]y,,FKF*F[rF*-FX6#&FVFefoF_x
FepF_xF*F*@$31FiqF]y1F]y,&-FX6#&&F_qFefoF^[lF*F_xF*C$>&F\[lFcam,&F]_qF*&Fi^q6#,
&F]yF*F*F*F*>&F`[lFcam7$-F^o6#Fc_q-F^o6#&&Fj^qFb[lF`_qO7$F\[lF`[lF$F$F$%$P21G<3
Ff]lFi^lF]`lF1F4Fi]lFc`lFj]lF[^lFcclF5F8F9F]^lF^^lF_^lF<%#P6G<1F)F.F^`lFbclF1F3
F4F^_lF5F6F8F9F_^lFdclF>%&deltaGf*Fg`oFj`oF$F$C%>FSF[x?(FKF*F*FjpFZ>FSF`aoO-_F_
hn%*SmithFormG6#FgaoF$F$F$%-EnsEtudiableGf*Fg_p6'F[pFH%$indG%%matrG%&listvGF$F$
C(@$0-F^o6$F*-F^o6$F*FQ,&-FX6#Fa]nF*F_xF*OF%>FKFZ>FSF*>F_q-Figl6$f*Fc]oF$Fd]oF$
F]^oF$F$F$FQ?(F$F*F*F$3FipFKC&>FVF`q>Fhq-Fhel6$7#-F`u6$&F_qF[apF^apFifn@$/-_F_h
n%,DeterminantGFc\mFiq>FKF%>FSF]tOFZF$F$F$%$P36G<6Ff]lFi^lF)F0FbclF\_lF]_lF\elF
i_lF__lF5F8F9F]^lF=F`_lF>Fa_lFb_lFc_l%)gtheoremGf*F^v6'F]ilFg[nF[pFHF_pF$F$C'>F
KF`il>FS-&F"6#Fd[nF[q>F_qFgil@'/-&F"6#FjhlF[qF%OF%0F`^mF*OF%C'>FVFZ>FhqFiq?(F$F
*F*F$3FV1Fhq-F_\n6#,$F_qFfhlC$>FV-F^jl6#1Ff\n&FK6#,&FhqF*F+F*>FhqFbs>FhqF*?(F$F
*F*F$3FV1Fhq,&F`eqF*F_xF*C$>FV-F^jl6#1&FSFieq-&F"6#Fhho6$&FSFg\nFhq>FhqFbsOFVF$
F$F$Fi_of*6#F_p6$F\pFHF$F$O7#-F`u6$7#-F`u6$-&F"6#F[^nFhy/FK;F*F\o/FSF\hqF$F$F$%
-MissingFacesGf*Fat6'FFFecn%%missGFHF\pF$F$C'>FKF[w>FSFicn>FVFT?(FhqF*F*FhwFZ@$
-&F"6#Fhin6$F\o-F^o6$FhqFS>FV<$Fd\nF\iqOFVF$F$F$%-BordSimplexeGf*6#FioFf[oF$F$O
-Fir6$-&F"6#FfbpF[q<#F\oF$F$F$Fh]pf*FatFe[qF$F$C,>F[rFfp>FSF[w>FKFjfp>FVF]\q>Fh
qF`\q>F_qFi\q>F`[lF\]q>F\[lFc]q?(FepF*F*Fa]qFZ?(FjwF*F*FeblFZC$>F]y,(FepF*F_^qF
_xF[\lF*@$Fc^qC$>F]_qF^_q>Fc_qFd_qOF\`qF$F$F$%)brucknerG<6Ff]lFg]lF]`lFj^lFbclF
g_lFcclF\elF^_lFi_lF5F`cnF9F\^lF_`lF`_lF>Fd`lFb_lFc_l%6CalculCohomologieASECGf*
F\]p6*FFFdvF_]pF^hlF`]pF_pF`hlF\pF$F$C%>FKF[w>FVFbwO-&F"6#Fc[qF[clF$F$F$F^^mf*F
^bo6)F\cpFg[pF__mFeboFgimFbboFHF$F$C/>FKF[x>FSF[x>FVF[w>Fhq-FjboF\z>F_qFb\m>Fep
F[x?(F[rF*F*,&F_qF*F_xF*FZ>Fep7$F_go-&F"6#Fa`q6$&Fhq6#Fds&FhqFhgo?(F[rF*F*,&F`e
mF*F_xF*FZ>FK7$F[bl,(&-F`\p6#-F^hn6#&FepFhgoF^[lF*-_F_hn%%RankGFg]rF_x-F\^r6#&F
epF^]rF_x>FK7$F[bl,&&-F`\p6#&Fep6#F`emFb[lF*-F\^r6#-F^hnFf^rF_x>FK-F_gn6$/F*,&F
`^mF*F*F*FK?(F[rF+F*F`emFZ>FS7$Fbo-&F"6#Fb[pFi]r>FS7$FboF[xO7$FKFSF$F$F$%$P12G<
3Fg]lFi^lF)F]`lF0Fj^lFg_lF\_lFh_lF\elF5FgclF8F9F`_lF>Fb_lF$,
I*LVMB/initf*F$F$F$F$C%-%%withG6#F_hn-Fa`r6#%'convexG-Fa`r6#F]_oF$F$F$F$
