\documentclass[tikz,margin=5mm]{standalone}
\usetikzlibrary{shapes.multipart}
\def\recurdominolarg{0.4}
\def\recurdominohaut{2}
\def\recurdominoespaceh{1.5}
\newcommand\recurdominos[2][white]{%
\foreach \i in {#2} {%
\draw[thick,black,fill=#1] ({\recurdominoespaceh*\i-0.5*\recurdominolarg},0) rectangle++ (\recurdominolarg,\recurdominohaut) ;
}
}
\newcommand\recurdominosvide[2]{%
\foreach \i in {#1} {%
\draw ({\recurdominoespaceh*\i},{0.5*\recurdominohaut}) node {#2} ;
}
}
\colorlet{vertdomino}{green!50!black}
\begin{document}
\begin{tikzpicture}
\recurdominos[red]{1,7}
\recurdominos[white]{2,3,5,8,9}
\recurdominos[vertdomino]{6}
\recurdominosvide{4,10}{$\Huge\dots$}
\foreach \i in {1,2,3}{%
\draw ({\recurdominoespaceh*\i},\recurdominohaut) node[rotate=90,anchor=west,font=\small] {domino n°\i} ;
}
\draw ({6*\recurdominoespaceh},\recurdominohaut) node[rotate=90,anchor=west,font=\small] {domino n°$k$} ;
\draw ({7*\recurdominoespaceh},\recurdominohaut) node[rotate=90,anchor=west,font=\small] {domino n°$k+1$} ;
\draw[red,very thick,->,>=latex] ({\recurdominoespaceh*1+0.5*\recurdominolarg},\recurdominohaut) to[bend left] node[midway,above,sloped,red,font=\tiny\sffamily,inner sep=1pt] {tombe ?} ({\recurdominoespaceh*(1+1)-0.5*\recurdominolarg},{0.85*\recurdominohaut}) ;
\draw[vertdomino,very thick,->,>=latex] ({\recurdominoespaceh*6+0.5*\recurdominolarg},\recurdominohaut) to[bend left] node[midway,above,sloped,vertdomino,font=\tiny\sffamily,inner sep=1pt] {tombe !} ({\recurdominoespaceh*(6+1)-0.5*\recurdominolarg},{0.85*\recurdominohaut}) ;
\draw[red,very thick,->,>=latex] ({\recurdominoespaceh*7+0.5*\recurdominolarg},\recurdominohaut) to[bend left] node[midway,above,sloped,red,font=\tiny\sffamily,inner sep=1pt] {tombe ?} ({\recurdominoespaceh*(7+1)-0.5*\recurdominolarg},{0.85*\recurdominohaut}) ;
%principe
\draw ({\recurdominoespaceh*1},0) node[below,font=\scriptsize,align=center,red] {INITIALISATION\\à vérifier au(x)\\premier(s) rang(s)} ;
\draw ({\recurdominoespaceh*6.5},0) node[below,font=\scriptsize,align=center,black] {HÉRÉDITÉ} ;
\draw ({\recurdominoespaceh*5.75},-0.4) node[below,font=\scriptsize,align=center,vertdomino] {HYPOTHÈSE\\Supposons vraie\\au rang $k$ fixé} ;
\draw ({\recurdominoespaceh*7.25},-0.4) node[below,font=\scriptsize,align=center,red] {À DÉMONTRER\\vraie\\au rang $k+1$} ;
\end{tikzpicture}
\end{document}