Andre Tricoteux is an actor and stuntman, known for playing whom in Deadpool?