Head of Islamic State in Sahara killed by French troops - Macron