Allenformatie