Clean manual from Guillaume's proposition