Synopsis vitae Caroli ix, Valesii Galliae regis, novissime defuncti