Pengaruh Lingkungan Kerja dan Kepuasan Kerja Personil terhadap Efektivitas Pelaksanaan Tugas Personil pada Direktorat Zeni Angkatan Darat