Oups, initially I had much longer examples and forgot to remove them.