Pun is playing upon words (and could thogh havlle undertone implications). Another name for it is Paranomasia.
Source of shared Link
