The information on this page is a summary description. The full formal description is available here: Frasnes group/formation