Au cours d'une opération avec le Mali et le Niger, l'armée française tue « plusieurs dizaines » de djihadistes