A new strict Lyapunov function for fully-actuated mechanical systems controlled by IDA-PBC | Publicación