Text this: El fluido perfecto como herramienta para la formalización de las variables de estado presión y densidad en la TER