RDC: les bataillons «Jungle», des spécialistes du combat en forêt équatoriale formés par la France