Put back warning before declaring a machine dead -- Related to #1366
Merge branch 'next' into michel_1366_dead_machine
Fix message in case of dead machine
Style hr
Move warning for dead machines
Fix typos, style and little things for dead machine
Style modal for unreachable server
Fix style for the warning about unreachable machines
Merge branch 'michel_1366_dead_machine' into next