Musique: mort de Tonton David, interprète de «Chacun sa route» (RFI)