Output-feedback design for non-smooth mechanical systems by A. Doris