I'm using a STM32L432KC Nucleo board, and reading a voltage with the 12-bit ADC. On this board the ADC Vref is connected to the board 3.3V, which in this case actually measures 3.315 V. With a 12-bit resolution, I would expect that 4095 ADC counts =...