Sénégal : une opération contre les rebelles en Casamance lancée