Total-Results of the option to receive the final 2017 dividend in shares (26.6.2018)