The study couples interior and atmosphere models to study sub-Neptune hosting a deep lava ocean. The model is embeded in our TauREx3 retrieval framework, allowing to directly retrieve the composition of the magma ocean from its impact on the observable atmospheric composition.