Merge branch 'issue/cmake-scotch-without-ptscotch' into 'master'
Fix cmake bug when Scotch is found but not PTScotch
See merge request !988 (merged)
(cherry picked from commit f6779880)
5cbd6092 Fix cmake bug when Scotch is found but not PTScotch