Use of CALIPSO lidar observations to evaluate the cloudiness simulated by a climate model | Synapse