¿Cuánto pis hace falta para teñir una piscina olímpica de verde?