Definition of Freteur