Evacuación de Tolón, el 18 de diciembre de 1793