Resolved! We are working with the ADC and we can read the registers over I2C. But the conversion of those values into voltages is a mystery to us and nowhere documented.
If someone has that information please share, better would be if you can point me to the documentation where I can found the information. We are using the STM32F429ZI nucleo board.