Jean-Paul Belmondo dies aged 88