Faut-il un pacte de colocation ?

Ce n'est pas obligatoire mais fortement recommandé. Le pacte de colocation règle la vie commune (ménage, bruit, espaces partagés, arrivées/départs) tandis que le bail règle la relation avec le propriétaire.

Comment gérer le départ d'un colocataire ?

Par un avenant au bail signé par toutes les parties (bailleur + anciens et nouveaux colocataires). L'avenant modifie les signataires sans créer un nouveau bail. Si bail avec solidarité, le partant reste solidaire sauf clause libératoire.