Both puns and double entendres make use of intentional double meanings. Double entendres are not necessarily puns, though.