  The aim of this note is to prove that the parabolic closure of any subset of
a Coxeter group is a parabolic subgroup. To obtain that, several technical
lemmas on the root system of a parabolic subgroup are established.
