Wyznaczanie optymalnego oświetlenia wspomagane metodami formalnymi