Control Formal Framework For Geotechnical And Environmental Studies Missions