Small corrections suggested by Augot