Ludvig den XV var då omkring fyratioåttaår