Changes section 2

Some rearrangements in section 2, up to the introduction of the regular
representation