Παραγωγικές εγκαταστάσεις εξόρυξης και εργατικοί οικισμοί μεταλλωρύχων της γαλλικής εταιρείας μεταλλείων Λαυρίου - Κερεστετζή, Σύλβια