Congés de location

Bonjour,

une de mes locataires va quitter le studio, nous avons signé le contrat avec la date d'effet au 01/08/2012 jusqu'au 31/07/2015 JF étudiante elle termine son année et donne congé pour le 17/07/2013.

j'ai demandé à son père pourquoi cette date du 17/07/2013 alors que pour moi le départ est le 31/07/2013
VOICI SA REPONSE

"La date du 17 Juillet est déduite du préavis de trois mois que doit respecter le locataire lors de sa prise de congé (cf. paragraphe 2 des conditions générales du contart de location conforme à la loi du n° 89-462 du 6 Juillet 1989".

j'ai recherché sur internet et je ne trouve pas les termes de cet article tel que défini dans son écrit - il n'est nullement mention de ce retrait de 15 jours!

MES QUESTIONS SONT :
est-ce exact ?
Si non, ou trouver un article lui prouvant le contraire de ses dires ?
dois-je considérer qu'il ne me doit pas le mois entier de juillet mais 17 jours?

le bail signé ne laisse pas apparaître cette notion : juste préavis de 3 mois ou un mois en cas de mutation

merci de votre réponse
cordialement