Article L523-7
Si la prise de possession intervient avant le transfert de propriété, les droits de jouissance et les baux relatifs aux immeubles ou aux droits réels immobiliers libérés en application de la procédure prévue au présent chapitre sont éteints de plein droit à compter du relogement ou du départ volontaire définitif des occupants.