En quelle année Saint-Tropez a-t-il définitivement perdu son "gendarme" Louis de Funès ?