constante de Champernowne