Les .lockefile sont issus d'une vieille installation OS X Lion.
Tu peux tous les mettre à la corbeille. A partir de Mountain Lion, ils ne servent plus à rien.
Mavericks est toujours disponible au téléchargement dans "Achats". Également à partir de la partition de restauration (cmd r).
