Examples of non-positively curved groups