Homme tué à Paris: l'assaillant "était fiché à la DGSI", affirme Gérald Darmanin