Un árbol no es alto hasta que no pasa de los diez metros, hasta entonces es un arbolillo. Y tampoco es tan alto con diez metros, que cualquier chopo de un paseo tiene mas de veinte metros y es un árbol normalito.
Hola: Sí que parecen Taxodium distichum, y no precisamente ejemplares enormes. Por aquí pueden alcanzar 20 m en 30 años, y llegan por ahora a 35 m de altura. Saludos