L’otage français Philippe Verdon a bel et bien été assassiné par AQMI