Source: https://www.math.univ-toulouse.fr/~jroyer/TD/2018-19-L2PS/ChA-Denombrabilite.pdf