float readVref = (VREFINT * ADC_RANGE / analogRead(AVREF));
With
#define VREFINT 1200
#define LL_ADC_RESOLUTION LL_ADC_RESOLUTION_12B
#define ADC_RANGE 4096
In Platformio, arduino framework.