Total- Results of the option to receive the 2018 first interim dividend in shares (10.10.2018)